Have already kept a note of this request.
On Fri, Oct 2, 2020 at 9:13 AM Dambaev Alexander <ice.redm...@gmail.com> wrote: > Hi, > > I found, that it is difficult to locate constraint, that had been failed > to be solved. > For example, I got error message like this: > ``` > /data/devel/ats2/bytestring/DATS/bytestring_flat.dats: 12395(line=442, > offs=49) -- 12409(line=442, offs=63): error(3): unsolved constraint: > C3NSTRprop(C3TKmain(); S2Eapp(S2Ecst(>=); S2EVar(5829), S2Eintinf(0))) > ``` > > which shows me where the constraint failed to be satisfied, but does not > shows which constraint I need to debug. > In this particular case, there are 11 lines of constraints for me and I > required to be very careful to found which one had issue. > > I hope, that at least ATS3 will be able to provide location of constraint > definition to debug > > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to ats-lang-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KzZuP5E3yiaoaTVFSN9Wng-QGrWOMJjt_w0pf_eKePJLw%40mail.gmail.com > <https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KzZuP5E3yiaoaTVFSN9Wng-QGrWOMJjt_w0pf_eKePJLw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLqdLxkjFYxAtKDx4705Ek4yV5Wj1rdTM3gZ5RZKDhjV_w%40mail.gmail.com.
