[<<][rtl][>>][..]
Fri Nov 15 09:32:45 EST 2019

An s-expression front-end

Intermezzo.

I really want this.  Monadic notation is too cumbersome and it is
really just a syntactic problem.

I don't hink it would be necessary to create a Template Haskell
S-expression front-end.  It seems that Seq programs are untyped enough
to be "interpreted".  This actually turned out to be a feature!

This is actually something that can be thought of as a core design
element, and also makes RAI and Seq quite close.  If more type
encoding is necessary, it is possible to just create a "phantom
wrapper" in Haskell to express higher level ideas.


Let's give this a try.  There is a parser in
asm_tools/asm-tools/Data/AsmTools/SE.hs

EDIT: I already started this in
asm_tools/asm-tools-seq/Language/Seq/Syntax.hs

EDIT: Jump is too big.  Reduce scope.  Stick to just doing C gen.




[Reply][About]
[<<][rtl][>>][..]