summaryrefslogtreecommitdiff
path: root/src/Language/PureScript/TypeChecker/Types.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Language/PureScript/TypeChecker/Types.hs')
-rw-r--r--src/Language/PureScript/TypeChecker/Types.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Language/PureScript/TypeChecker/Types.hs b/src/Language/PureScript/TypeChecker/Types.hs
index e449135..b0bc93d 100644
--- a/src/Language/PureScript/TypeChecker/Types.hs
+++ b/src/Language/PureScript/TypeChecker/Types.hs
@@ -173,6 +173,7 @@ typesOf bindingGroupType moduleName vals = withFreshSubstitution $ do
constrain cs ty = foldr srcConstrainedType ty (map (\(_, _, x) -> x) cs)
-- Apply the substitution that was returned from runUnify to both types and (type-annotated) values
+
tidyUp ts sub = first (map (second (first (second (overTypes (substituteType sub) *** substituteType sub))))) ts
isHoleError :: ErrorMessage -> Bool