diff options
Diffstat (limited to 'paper/While/Simple.dcl')
| -rw-r--r-- | paper/While/Simple.dcl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/paper/While/Simple.dcl b/paper/While/Simple.dcl index 5a08e85..df49964 100644 --- a/paper/While/Simple.dcl +++ b/paper/While/Simple.dcl @@ -3,11 +3,11 @@ definition module Simple from StdOverloaded import class toString import WhileCommon -:: Stm = Ass Var AExpr - | If BExpr Stm Stm - | While BExpr Stm - | Skip - | Compose Stm Stm +:: Stm = Ass Var AExpr + | If BExpr Stm Stm + | While BExpr Stm + | Skip + | Compose Stm Stm instance toString Stm instance run Stm |