summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilFreeman <>2014-03-09 18:21:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2014-03-09 18:21:00 (GMT)
commit8479f575b85a65974e778a41135fdf866977bb15 (patch)
treee05af9a2bf9f908fa187ee7dfc07b200536a48fd
parent6e481f4a8bccb1fc4972bafa95be389cf04cefd9 (diff)
version 0.4.5.10.4.5.1
-rw-r--r--purescript.cabal2
-rw-r--r--src/Language/PureScript/TypeChecker/Types.hs5
2 files changed, 4 insertions, 3 deletions
diff --git a/purescript.cabal b/purescript.cabal
index 30dcf3b..e4a7984 100644
--- a/purescript.cabal
+++ b/purescript.cabal
@@ -1,5 +1,5 @@
name: purescript
-version: 0.4.5
+version: 0.4.5.1
cabal-version: >=1.8
build-type: Custom
license: MIT
diff --git a/src/Language/PureScript/TypeChecker/Types.hs b/src/Language/PureScript/TypeChecker/Types.hs
index 415e2c4..40a7703 100644
--- a/src/Language/PureScript/TypeChecker/Types.hs
+++ b/src/Language/PureScript/TypeChecker/Types.hs
@@ -583,8 +583,9 @@ inferBinder val (ConstructorBinder ctor binders) = do
env <- getEnv
case M.lookup ctor (dataConstructors env) of
Just (_, ty) -> do
- (_, fn) <- instantiatePolyTypeWithUnknowns (error "Data constructor types cannot contains constraints") ty
- go binders fn
+ (_, fn) <- instantiatePolyTypeWithUnknowns (error "Data constructor types cannot contain constraints") ty
+ fn' <- replaceAllTypeSynonyms fn
+ go binders fn'
where
go [] ty' = do
_ <- subsumes Nothing val ty'