git.iko.soy/Idris-dev
on master help sign in
Fix for evaluation of partial things at the REPL
ffd2db0Edwin Brady
src/Idris/Core/Evaluate.hs+1
compare with master
unifiedsplit
@@ -78,6 +78,7 @@ data Value = VP NameType Name Value
78
78
79canonical :: Value -> Bool
79canonical :: Value -> Bool
80canonical (VP (DCon _ _ _) _ _) = True
80canonical (VP (DCon _ _ _) _ _) = True
81+canonical (VP (TCon _ _) _ _) = True
81canonical (VApp f a) = canonical f
82canonical (VApp f a) = canonical f
82canonical (VConstant _) = True
83canonical (VConstant _) = True
83canonical (VType _) = True
84canonical (VType _) = True