HW4Part1.hs

@@ -32,7 +32,7 @@ program =
     ]
 
 while :: Expr -> Prog -> Stmt
-while cond body = Loop [ If cond body [ Break ] ]
+while cond body = Loop $ If cond [] [ Break ] : body
 
 sumFromTo :: Int -> Int -> Prog
 sumFromTo f t =

HW4Part2.hs

@@ -1,5 +1,3 @@
-{-# LANGUAGE GADTs #-}
-module HW4Part2 where
 {-
  - int ::= (any integer)
  -
@@ -20,6 +18,7 @@ module HW4Part2 where
  - prog ::= \epsilon | stmt; prog
  -}
 
+{-# LANGUAGE GADTs #-}
 import Control.Monad.Except
 import Control.Monad.State
 import Data.Bool