diff options
Diffstat (limited to 'assignment-13/uFPL.dcl')
| -rw-r--r-- | assignment-13/uFPL.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/assignment-13/uFPL.dcl b/assignment-13/uFPL.dcl index 1ce2ac4..c061119 100644 --- a/assignment-13/uFPL.dcl +++ b/assignment-13/uFPL.dcl @@ -8,11 +8,12 @@ from uFPL.C import :: CType, :: CExpr, :: CBody, :: CVar, :: CFun, :: CProg :: RO = RO :: RW = RW -:: UShared t w = +:: UShared t rw = { sname :: String , stype :: CType , sinit :: t , srepr :: Bimap t CExpr + , srw :: rw // to be able to check this in uFPL.Sim } :: Shares |