What version of ATS2 is needed to build it? Using 0.3.13 I get: $ make libxatsopt (cd ./xanadu/srcgen/xats && make libxatsopt) make[1]: Entering directory 'xinterp/xanadu/srcgen/xats' patsopt -o BUILD/fixity_sats.c --static SATS/fixity.sats xinterp/xanadu/srcgen/xats/SATS/fixity.sats: 1776(line=62, offs=1) -- 1783(line=62, offs=8): error(parsing): the token is discarded. exit(ATS): uncaught exception: _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_error_2esats__FatalErrorExn(1025) make[1]: *** [Makefile:168: BUILD/fixity_sats.c] Error 1
-- https://bluishcoder.co.nz -- 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/CALn1vHEvzdVp1aZrAgHgtWbHGpax0vMquTsmKrMaEQ8BFLVszg%40mail.gmail.com.
