diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-03-26 21:02:30 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-03-26 21:02:30 +0000 |
| commit | b36f70e6fdf942a31c5e0ddae3018cbef8964a36 (patch) | |
| tree | d09de1cbda23ff18369ee368a2cf3fda53566bb6 | |
| parent | 5abf240a988bbb2670301c4fd875cb000fad0540 (diff) | |
toy target language
| -rw-r--r-- | devel/compiler/Src.cf | 1 | ||||
| -rw-r--r-- | devel/compiler/Tgt.cf | 16 |
2 files changed, 17 insertions, 0 deletions
diff --git a/devel/compiler/Src.cf b/devel/compiler/Src.cf index 5901ff8ed..57f1f146c 100644 --- a/devel/compiler/Src.cf +++ b/devel/compiler/Src.cf @@ -62,3 +62,4 @@ separator AssPatt ";" ; comment "--" ; comment "{-" "-}" ; + diff --git a/devel/compiler/Tgt.cf b/devel/compiler/Tgt.cf new file mode 100644 index 000000000..a61c0bf74 --- /dev/null +++ b/devel/compiler/Tgt.cf @@ -0,0 +1,16 @@ +--- target language + +Tg. Object ::= [Fun] ; + +FVal. Fun ::= Ident "=" Val ; + +terminator Fun ";" ; + +VRec. Val ::= "[" [Val] "]" ; +VPro. Val ::= "(" Val "." Val ")" ; +VTok. Val ::= String ; +VArg. Val ::= "$" Integer ; +VPar. Val ::= Integer ; +VCat. Val ::= "(" Val Val ")" ; + +terminator Val "," ; |