paragon 0.1.8 → 0.1.9

raw patch · 2 files changed

+6/−2 lines, 2 files

Files

• paragon.cabal +1/−1
• src/Language/Java/Paragon/TypeCheck.hs +5/−1

@@ -1,5 +1,5 @@ Name:                   paragon-Version:                0.1.8+Version:                0.1.9 License:                BSD3 License-File:           LICENSE Author:                 Niklas Broberg

@@ -443,7 +443,7 @@   --debug "typeCheckCd"   withErrCtxt ("When checking class " ++ prettyPrint i ++ ":\n") $ do   staticWPol <- getWritePolicy ms-  let memberDecls = map (\(MemberDecl d) -> d) decls+  let memberDecls = map testIt decls   withThisType i tps $ do   withFoldMap withTypeParam tps $     typeCheckActorFields memberDecls $ do@@ -459,6 +459,10 @@         --debug "typeCheckMemberDecls start"         typeCheckMemberDecls staticWPol constrWPol memberDecls   ++testIt :: Decl -> MemberDecl+testIt (MemberDecl d) = d+testIt d = error $ "Not member decl: " ++ prettyPrint d  withThisType :: Ident -> [TypeParam] -> TcCont r a -> TcCont r a withThisType i tps =