X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=utils%2Fext-core%2FCheck.hs;fp=utils%2Fext-core%2FCheck.hs;h=4d35676b97a1020846c5ab4c9a54956244b41a29;hp=af3bb3c55969d1bb866b4c7b4b4df9e43addae22;hb=c287bea94592fffe63f85831ab651c28d64e4d6e;hpb=652a316b23383ea5983b85c7b2ecf8de358f3bd0 diff --git a/utils/ext-core/Check.hs b/utils/ext-core/Check.hs index af3bb3c..4d35676 100644 --- a/utils/ext-core/Check.hs +++ b/utils/ext-core/Check.hs @@ -280,7 +280,7 @@ checkVdefg top_level (tcenv,tsenv,tvenv,cenv) (e_venv,l_venv) vdefg = do vdefIsMainWrapper :: AnMname -> Mname -> Bool vdefIsMainWrapper enclosing defining = - enclosing == mainMname && defining == wrapperMainMname + enclosing == mainMname && defining == wrapperMainAnMname checkExpr :: AnMname -> Menv -> [Tdef] -> Venv -> Tvenv -> Exp -> Ty