diff options
| author | Camil Staps | 2018-01-07 17:12:34 +0100 |
|---|---|---|
| committer | Camil Staps | 2018-01-07 17:12:34 +0100 |
| commit | 8578faf533ef5ed200b722ebc8551f32ace3a5cf (patch) | |
| tree | e149a38e0ac89666b41b72f3e5b9f02374867fab /assignment-13/uFPL.dcl | |
| parent | Ignore .ino (diff) | |
Cleanup code
Diffstat (limited to 'assignment-13/uFPL.dcl')
| -rw-r--r-- | assignment-13/uFPL.dcl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/assignment-13/uFPL.dcl b/assignment-13/uFPL.dcl index 4d69076..9850850 100644 --- a/assignment-13/uFPL.dcl +++ b/assignment-13/uFPL.dcl @@ -87,8 +87,10 @@ pressed :: (Expr Bool RO) -> Trigger | (>>>) infixr 2 Trigger [Rule] | E.rwa rwb: SetCursor (Expr Int rwa, Expr Int rwb) | E.t rw: Print (Expr t rw) & Expr, toString t + | PrintS String -:: NamedRule = E.r: (:=:) infixr 1 String r & gen r CBody & run, allShares, allTriggers, TC r +:: NamedRule + = E.r: (:=:) infixr 1 String r & gen r CBody & run, allShares, allTriggers, TC r class gen f t :: f -> t |