Commit 8d314f28 authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Type check does not skip first id number anymore

parent fc592f95
......@@ -91,8 +91,9 @@ generating fresh type variables.
> getNextId :: TCM Int
> getNextId = do
> S.modify $ \ s -> s { nextId = succ $ nextId s }
> S.gets nextId
> nid <- S.gets nextId
> S.modify $ \ s -> s { nextId = succ nid }
> return nid
> modifyTypeSubst :: (TypeSubst -> TypeSubst) -> TCM ()
> modifyTypeSubst f = S.modify $ \ s -> s { typeSubst = f $ typeSubst s }
......
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