@@ -357,12 +357,12 @@ entails env moduleName context = solve (sortedNubBy canonicalizeDictionary (filt
357357 -- Turn a DictionaryValue into a Expr
358358 dictionaryValueToValue :: DictionaryValue -> Expr
359359 dictionaryValueToValue (LocalDictionaryValue fnName) = Var fnName
360− dictionaryValueToValue (GlobalDictionaryValue fnName) = App (Var fnName) valUnit
360+ dictionaryValueToValue (GlobalDictionaryValue fnName) = App (Var fnName) valUndefined
361361 dictionaryValueToValue (DependentDictionaryValue fnName dicts) = foldl App (Var fnName) (map dictionaryValueToValue dicts)
362362 dictionaryValueToValue (SubclassDictionaryValue dict superclassName index) =
363363 App (Accessor (C.__superclass_ ++ show superclassName ++ "_" ++ show index)
364364 (dictionaryValueToValue dict))
365− valUnit
365+ valUndefined
366366 -- Ensure that a substitution is valid
367367 verifySubstitution :: [(String, Type)] -> Maybe [(String, Type)]
368368 verifySubstitution subst = do
@@ -393,8 +393,8 @@ entails env moduleName context = solve (sortedNubBy canonicalizeDictionary (filt
393393 dictTrace (SubclassDictionaryValue dict _ _) = dictTrace dict
394394 dictTrace other = other
395395
396− valUnit :: Expr
397− valUnit = Var (Qualified (Just (ModuleName [ProperName C.prim])) (Ident C.undefined))
396+ valUndefined :: Expr
397+ valUndefined = Var (Qualified (Just (ModuleName [ProperName C.prim])) (Ident C.undefined))
398398
399399-- |
400400-- Check all values in a list pairwise match a predicate