diff options
Diffstat (limited to 'assignment-13/uFPL.dcl')
| -rw-r--r-- | assignment-13/uFPL.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/assignment-13/uFPL.dcl b/assignment-13/uFPL.dcl index f9b3ed6..fee3c26 100644 --- a/assignment-13/uFPL.dcl +++ b/assignment-13/uFPL.dcl @@ -82,11 +82,11 @@ pressed :: (Expr Bool RO) -> Trigger | E.rwa rwb: SetCursor (Expr Int rwa, Expr Int rwb) | E.t rw: Print (Expr t rw) & Expr, toString t -:: NamedRule = E.r: (:=:) infix 1 String r & gen r CBody & run, allShares, TC r +:: NamedRule = E.r: (:=:) infixr 1 String r & gen r CBody & run, allShares, TC r class gen f t :: f -> t -class (:.) infixr 3 r :: Rule r -> [Rule] +class (:.) infixr 1 r :: Rule r -> [Rule] instance :. Rule instance :. [Rule] |