Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

tests pass

  • Loading branch information...
commit ec4c61051fdee2ef37f1343e8860071d2179c915 1 parent b936c2e
@kmels authored
Showing with 2 additions and 2 deletions.
  1. +2 −2 test/Language/Core/TestTy.hs
View
4 test/Language/Core/TestTy.hs
@@ -98,9 +98,9 @@ getDefTypes filepath = do
return $ concatMap extractTypes vdefs
where
extractTypes :: Vdefg -> [(Id,Ty)]
- extractTypes (Nonrec vdef@(Vdef(qvar, ty, _))) = [(qualifiedVar qvar, ty)]
+ extractTypes (Nonrec vdef@(Vdef(qvar, ty, _))) = [(zDecodeQualified qvar, ty)]
extractTypes (Rec []) = []
- extractTypes (Rec (vdef@(Vdef(qvar, ty, _)):vs)) = [(qualifiedVar qvar, ty)] ++ extractTypes (Rec vs)
+ extractTypes (Rec (vdef@(Vdef(qvar, ty, _)):vs)) = [(zDecodeQualified qvar, ty)] ++ extractTypes (Rec vs)
intTy :: Ty
intTy = mkTcon "ghczmprim" ["GHC"] "Types" "Int"
Please sign in to comment.
Something went wrong with that request. Please try again.