Commit f90da0f2 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Fix for newtypes

parent ff75a12b
......@@ -1486,10 +1486,14 @@ collectAllTestTypeDecls opts fcprogs tdecls testtypenames = do
allTConsInDecl :: FC.TypeDecl -> [QName]
allTConsInDecl = FCG.trType (\_ _ _ -> concatMap allTConsInConsDecl)
(\_ _ _ -> allTConsInTypeExpr)
(\_ _ _ -> allTConsInNewConsDecl)
allTConsInConsDecl :: FC.ConsDecl -> [QName]
allTConsInConsDecl = FCG.trCons (\_ _ _ -> concatMap allTConsInTypeExpr)
allTConsInNewConsDecl :: FC.NewConsDecl -> [QName]
allTConsInNewConsDecl = FCG.trNewCons (\_ _ -> allTConsInTypeExpr)
allTConsInTypeExpr :: FC.TypeExpr -> [QName]
allTConsInTypeExpr =
FCG.trTypeExpr (\_ -> []) (\tc targs -> tc : concat targs) (++) (flip const)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment