diff options
Diffstat (limited to 'assignment-13/uFPL/Sim.icl')
| -rw-r--r-- | assignment-13/uFPL/Sim.icl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/assignment-13/uFPL/Sim.icl b/assignment-13/uFPL/Sim.icl index 892708c..07f3103 100644 --- a/assignment-13/uFPL/Sim.icl +++ b/assignment-13/uFPL/Sim.icl @@ -249,6 +249,7 @@ where (e :: Expr Char rw) -> return (dynamic Print e) (e :: Expr Bool rw) -> return (dynamic Print e) _ -> throw (LiftException "IPrint") + lift (IPrintS s) = return (dynamic PrintS s) instance unlift IRule Rule where @@ -257,6 +258,7 @@ where unlift (t >>> rs) = ITrigger (unlift t) (unlift rs) unlift (SetCursor (c,r)) = ISetCursor (unlift c, unlift r) unlift (Print e) = IPrint (unlift e) + unlift (PrintS s) = IPrintS s instance lift INamedRule where |