Fix for evaluation of partial things at the REPL
This proceeds only for canonical values, but it didn't consider type
constructors canonical, which they are.
commitffd2db0b307707dee923c4ae9b7b0448037188df
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 19 May 2017, 10:33 (9 years ago)
parent29e271c
src/Idris/Core/Evaluate.hs+1
@@ -78,6 +78,7 @@ data Value = VP NameType Name Value
7878
7979canonical :: Value -> Bool
8080canonical (VP (DCon _ _ _) _ _) = True
81+canonical (VP (TCon _ _) _ _) = True
8182canonical (VApp f a) = canonical f
8283canonical (VConstant _) = True
8384canonical (VType _) = True