summaryrefslogtreecommitdiff
path: root/assignment-13/uFPL/C.dcl
diff options
context:
space:
mode:
authorCamil Staps2018-01-07 11:51:01 +0100
committerCamil Staps2018-01-07 11:51:01 +0100
commit8ecc7a12c6d898199d86ef3bb1ef4bd1d325d32b (patch)
tree5a16bf2abcd28026815dfd0c0f5bc038094313db /assignment-13/uFPL/C.dcl
parentGenerate code from iTasks (diff)
Finish generation of setup/loop/system functions; save files
Diffstat (limited to 'assignment-13/uFPL/C.dcl')
-rw-r--r--assignment-13/uFPL/C.dcl5
1 files changed, 2 insertions, 3 deletions
diff --git a/assignment-13/uFPL/C.dcl b/assignment-13/uFPL/C.dcl
index f9d3595..3b25183 100644
--- a/assignment-13/uFPL/C.dcl
+++ b/assignment-13/uFPL/C.dcl
@@ -33,14 +33,14 @@ from uFPL.Util import class print
:: CBody
= CBReturn (Maybe CExpr)
- | CBIf CExpr CBody CBody
+ | CBIf CExpr CBody [(CExpr, CBody)] (Maybe CBody)
| CBWhile CExpr CBody
| CBAssign String CExpr
| CBSeq CBody CBody
| CBEmpty
| CBExpr CExpr
-(`seq`) infix 0 :: CBody CBody -> CBody
+(`seq`) infixr 0 :: CBody CBody -> CBody
:: CVar =
{ name :: String
@@ -51,7 +51,6 @@ from uFPL.Util import class print
:: CFun =
{ params :: [(Int, CType)]
, body :: CBody
- , fresh :: Int
, type :: CType
, name :: String
}