The use of pats_codegen2_util.dats

29 views

Skip to first unread message

buz...@bu.edu

unread,

Oct 17, 2016, 10:16:18 PM10/17/16

to ats-lang-users

Hi all,

How to use pats_codegen2_util.dats for designing a template?

gmhwxi

unread,

Oct 18, 2016, 9:12:27 PM10/18/16

to ats-lang-users

There is currently really no documentation on using pats_codegen2_util.dats.

Your best bet is probably to study the code in pats_codegen2_fprint.dats and pats_codegen2_absrec.dats.

Yi Zhu

unread,

Oct 19, 2016, 10:09:17 PM10/19/16

to ats-lang-users

Ok, thanks.

Reply all

Reply to author

Forward

0 new messages