wrap lists of terms with square brackets for tree output.

githwxi / ATS-Xanadu

Bootstrapping ATS3

GNU General Public License v3.0

196 stars 14 forks source link

wrap lists of terms with square brackets for tree output. #19

Closed sparverius closed 4 years ago

sparverius commented 4 years ago

Aids in reading through output tree (in particular when list is empty -- otherwise output is blank)

// For example:

IR0Vcon(list_nil(6); [] )

// in place of

IR0Vcon(list_nil(6);  )

sparverius commented 4 years ago

Side note, what are your thoughts of having an option to output AST (and other ADTs) as json? Doing so could certainly make it easier for people to write extensions.

githwxi commented 4 years ago

Exporting AST is definitely very useful. Right now, the syntax of ATS3 is not yet finalized. I would suggest that we wait for a while.