diff options
Diffstat (limited to 'assignment-13/ufpl.icl')
| -rw-r--r-- | assignment-13/ufpl.icl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/assignment-13/ufpl.icl b/assignment-13/ufpl.icl index 73d1ff0..2f6de7e 100644 --- a/assignment-13/ufpl.icl +++ b/assignment-13/ufpl.icl @@ -163,7 +163,11 @@ where gen shr = { name = "s" +++ shr.sname , type = CTStruct (typedfun shr.stype "share") - , value = shr.srepr.map_to shr.sinit + , value = CEStruct + [ ("val", shr.srepr.map_to shr.sinit) + , ("dirty", CEInt 0) + , ("subscriptions", CEInt 0) + ] } instance gen [NamedRule] String |