Commit 8abdff3c authored by Katharina Ritter's avatar Katharina Ritter
Browse files

changed back to newtype

parent 0d13d1f3
Pipeline #139220 failed with stages
in 40 minutes and 16 seconds
......@@ -57,7 +57,7 @@ type Addr = Int
type Env = HashMap Text Addr
type Store = HashMap Addr Val
type Exception = (Text,Val)
type AllocT c x y = ((StateT Int (State Int)) c) --TODO: working on this atm
newtype AllocT c x y = AllocT ((StateT Int (State Int)) c) --TODO: working on this atm
-- | The concrete interpreter of the while language instantiates
-- '' with the concrete components for failure ('FailureT'), store ('StoreT'),
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment