search

githwxi / ATS-Xanadu

Bootstrapping ATS3
GNU General Public License v3.0
196 stars 14 forks source link

temporary support for xatsopt -d/-s [filename] #18

Closed sparverius closed 5 years ago

sparverius commented 5 years ago

This is particularly useful for emacs compile mode

githwxi commented 5 years ago

I took a look. Instead of merging, I generalized process_nil to process_fpath for supporting the -s/-d flags.

Eventually, I suggest to design a script language for compiling ATS/Xanadu. In particular, xatsopt command-line can be first translated into this script language.

githwxi commented 5 years ago

Richard,

Would you like to take the initiative to implement such a script language for ATS/Xanadu? We could start a discussion shortly.

sparverius commented 5 years ago

Sure, what functionality should it support?

githwxi commented 5 years ago

I'll come up with some examples first.