@@ -46,7 +46,7 @@ data ElabWhat = ETypes | EDefns | EAll
4646
4747-- rec_elabDecl is used to pass the top level elaborator into other elaborators,
4848-- 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.
5050data ElabInfo = EInfo { params :: [(Name, PTerm)],
5151 inblock :: Ctxt [Name], -- names in the block, and their params
5252 liftname :: Name -> Name,