@@ -46,7 +46,7 @@ data ElabWhat = ETypes | EDefns | EAll
47-- rec_elabDecl is used to pass the top level elaborator into other elaborators,
47-- rec_elabDecl is used to pass the top level elaborator into other elaborators,
48-- so that we can have mutually recursive elaborators in separate modules without
48-- so that we can have mutually recursive elaborators in separate modules without
49−-- having to much about with cyclic modules.
49+-- having to muck about with cyclic modules.
50data ElabInfo = EInfo { params :: [(Name, PTerm)],
50data ElabInfo = EInfo { params :: [(Name, PTerm)],
51 inblock :: Ctxt [Name], -- names in the block, and their params
51 inblock :: Ctxt [Name], -- names in the block, and their params
52 liftname :: Name -> Name,
52 liftname :: Name -> Name,