Hi, I have noticed, that patsopt takes huge amount of time, to compile relatively small library https://github.com/dambaev/ats-bytestring
`` [nix-shell:/data/devel/ats2/bytestring]$ $(which time) make test1 patscc -O2 -DATS_MEMALLOC_LIBC -I"../libs/" -c -o SATS/bytestring_sats.o SATS/bytestring.sats patscc -O2 -DATS_MEMALLOC_LIBC -I"../libs/" -c -o DATS/bytestring_flat_dats.o DATS/bytestring_flat.dats patscc -O2 -DATS_MEMALLOC_LIBC -I"../libs/" -o test1 SATS/bytestring_sats.o DATS/bytestring_flat_dats.o TEST/test1.dats 39.00user 0.43system *0:39.44*elapsed 99%CPU (0avgtext+0avgdata *215060* maxresident)k 0inputs+1024outputs (0major+140589minor)pagefaults 0swaps ``` and one project, that uses this library take forever to compile: ``` $ $(which time) make make -C src make[1]: Entering directory '/data/devel/smartplants/lora2mqtt/src' patscc -O2 -DATS_MEMALLOC_LIBC -I"/nix/store/cqynqsas6nwk3gbn8m2pi9lx4m0shr0y-ats2-0.3.13/lib/ats2-postiats-0.3.13/contrib/atscntrb/" -I"../libs/" -c -o DATS/logging_dats.o DATS/logging.dats /data/devel/smartplants/lora2mqtt/src/DATS/logging.dats: 3255(line=92, offs=24) -- 3255(line=92, offs=24): error(3): unsolved constraint: C3NSTRprop(C3TKmain(); S2Eapp(S2Ecst(>); S2EVar(5345->S2Evar(refcnt$8767$8777$8786$8794$8801$8807$8812$8816$8819(14823))), S2Eintinf(0))) ^Cmake[1]: *** [Makefile:71: DATS/logging_dats.o] Error 1 make: *** [Makefile:2: all] Interrupt Command terminated by signal 2 202.80user 0.28system *3:23.13*elapsed 99%CPU (0avgtext+0avgdata *384768* maxresident)k 0inputs+0outputs (0major+97710minor)pagefaults 0swaps $ cat src/DATS/logging.dats | wc -l 120 ``` I had interrupted when the first error had been reported. What are the best practice to get reasonable performance of patsopt? -- 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/CAHjn2KwdMZNSdJhtypDjpZyLDfqR2zZpca8LH-81UYyrk4UMzQ%40mail.gmail.com.