suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Make the inferredTypesRecorded property check Infer has been removed.

Browse Source
This commit is contained in:
Adam Sampson 2008-04-05 22:41:29 +00:00
parent 8bbca0f760
commit 9fa45cf406
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pass/Properties.hs
View File

@ -227,7 +227,12 @@ rainParDeclarationsPulledUp :: Property
rainParDeclarationsPulledUp = Property "rainParDeclarationsPulledUp" checkTODO
inferredTypesRecorded :: Property
inferredTypesRecorded = Property "inferredTypesRecorded" checkTODO
inferredTypesRecorded = Property "inferredTypesRecorded" $
checkNull "inferredTypesRecorded" . listify findInfer
where
findInfer :: A.Type -> Bool
findInfer A.Infer = True
findInfer _ = False
findUDT :: A.Type -> Bool
findUDT (A.UserDataType {}) = True
@ -392,4 +397,4 @@ slicesSimplified = Property "slicesSimplified" $
findJustFromOrFor _ = False
listsGivenType :: Property
listsGivenType = Property "listsGivenType" checkTODO
listsGivenType = Property "listsGivenType" checkTODO