diff options
Diffstat (limited to 'assignment-13/ufpl.dcl')
| -rw-r--r-- | assignment-13/ufpl.dcl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/assignment-13/ufpl.dcl b/assignment-13/ufpl.dcl index bf3e010..9f1036f 100644 --- a/assignment-13/ufpl.dcl +++ b/assignment-13/ufpl.dcl @@ -3,7 +3,7 @@ definition module ufpl from StdGeneric import :: Bimap from StdOverloaded import class +, class -, class *, class /, class ==, class < -from C import :: CType, :: CExpr, :: CBody, :: CVar, :: CFun +from C import :: CType, :: CExpr, :: CBody, :: CVar, :: CFun, :: CProg :: RO = RO :: RW = RW @@ -88,7 +88,10 @@ instance ||| NamedRule instance ||| [NamedRule] instance gen (Expr t rw) CExpr | Expr t +instance gen (Shared t rw) CVar +instance gen Trigger CExpr instance gen Rule CBody instance gen [r] CBody | gen r CBody instance gen NamedRule CFun -instance gen (Shared t rw) CVar +instance gen NamedRule CProg +instance gen [NamedRule] CProg |