diff options
Diffstat (limited to 'assignment-13/uFPL/Bootstrap.icl')
-rw-r--r-- | assignment-13/uFPL/Bootstrap.icl | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/assignment-13/uFPL/Bootstrap.icl b/assignment-13/uFPL/Bootstrap.icl index fea376f..b0ccf66 100644 --- a/assignment-13/uFPL/Bootstrap.icl +++ b/assignment-13/uFPL/Bootstrap.icl @@ -10,34 +10,34 @@ import uFPL.C import uFPL rwBool :: String Bool -> Expr Bool RW -rwBool n d = EShared {sname=n, stype=CTBool, sinit=d, srepr=boolmap} +rwBool n d = EShared {sname=n, stype=CTBool, sinit=d, srepr=boolmap, srw=RW} roBool :: String Bool -> Expr Bool RO -roBool n d = EShared {sname=n, stype=CTBool, sinit=d, srepr=boolmap} +roBool n d = EShared {sname=n, stype=CTBool, sinit=d, srepr=boolmap, srw=RO} rwInt :: String Int -> Expr Int RW -rwInt n d = EShared {sname=n, stype=CTInt Sig, sinit=d, srepr=intmap} +rwInt n d = EShared {sname=n, stype=CTInt Sig, sinit=d, srepr=intmap, srw=RW} roInt :: String Int -> Expr Int RO -roInt n d = EShared {sname=n, stype=CTInt Sig, sinit=d, srepr=intmap} +roInt n d = EShared {sname=n, stype=CTInt Sig, sinit=d, srepr=intmap, srw=RO} rwUInt :: String Int -> Expr Int RW -rwUInt n d = EShared {sname=n, stype=CTInt Unsig, sinit=d, srepr=intmap} +rwUInt n d = EShared {sname=n, stype=CTInt Unsig, sinit=d, srepr=intmap, srw=RW} roUInt :: String Int -> Expr Int RO -roUInt n d = EShared {sname=n, stype=CTInt Unsig, sinit=d, srepr=intmap} +roUInt n d = EShared {sname=n, stype=CTInt Unsig, sinit=d, srepr=intmap, srw=RO} rwLong :: String Int -> Expr Int RW -rwLong n d = EShared {sname=n, stype=CTLong Sig, sinit=d, srepr=longmap} +rwLong n d = EShared {sname=n, stype=CTLong Sig, sinit=d, srepr=longmap, srw=RW} roLong :: String Int -> Expr Int RO -roLong n d = EShared {sname=n, stype=CTLong Sig, sinit=d, srepr=longmap} +roLong n d = EShared {sname=n, stype=CTLong Sig, sinit=d, srepr=longmap, srw=RO} rwULong :: String Int -> Expr Int RW -rwULong n d = EShared {sname=n, stype=CTLong Unsig, sinit=d, srepr=longmap} +rwULong n d = EShared {sname=n, stype=CTLong Unsig, sinit=d, srepr=longmap, srw=RW} roULong :: String Int -> Expr Int RO -roULong n d = EShared {sname=n, stype=CTLong Unsig, sinit=d, srepr=longmap} +roULong n d = EShared {sname=n, stype=CTLong Unsig, sinit=d, srepr=longmap, srw=RO} boolmap :: Bimap Bool CExpr boolmap = {map_to=CEBool, map_from= \(CEBool b) -> b} |