diff options
| author | Camil Staps | 2018-01-07 09:28:53 +0100 |
|---|---|---|
| committer | Camil Staps | 2018-01-07 09:28:53 +0100 |
| commit | 91da6e9464b1468532666096422fb1586c18bc51 (patch) | |
| tree | 7380666b77322e990c34d9dadd6500cb22b1ac85 /assignment-13/uFPL.dcl | |
| parent | Simulator improvements; continue with countdown example (diff) | |
Better infix priorities
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] |