summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilFreeman <>2015-02-14 19:23:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2015-02-14 19:23:00 (GMT)
commitfcb01e064d41495d0727163df01801d41e64908a (patch)
tree23c9fb3f9709652e073bcd081359d9c50fa31e16
parent00b3c8ebb754d9948b38b7fc1a4953ac6bf8df07 (diff)
version 0.6.7.10.6.7.1
-rw-r--r--examples/passing/UnknownInInstance.purs8
-rw-r--r--purescript.cabal2
-rw-r--r--src/Language/PureScript/TypeChecker/Entailment.hs3
3 files changed, 1 insertions, 12 deletions
diff --git a/examples/passing/UnknownInInstance.purs b/examples/passing/UnknownInInstance.purs
deleted file mode 100644
index d19a6e8..0000000
--- a/examples/passing/UnknownInInstance.purs
+++ /dev/null
@@ -1,8 +0,0 @@
-module Main where
-
-data Proxy a = Proxy
-
-test :: forall a. (Show (Proxy a)) => String
-test = show Proxy
-
-main = Debug.Trace.trace "Done"
diff --git a/purescript.cabal b/purescript.cabal
index e70a75b..e23d58d 100644
--- a/purescript.cabal
+++ b/purescript.cabal
@@ -1,5 +1,5 @@
name: purescript
-version: 0.6.7
+version: 0.6.7.1
cabal-version: >=1.8
build-type: Simple
license: MIT
diff --git a/src/Language/PureScript/TypeChecker/Entailment.hs b/src/Language/PureScript/TypeChecker/Entailment.hs
index d63b2f0..6486860 100644
--- a/src/Language/PureScript/TypeChecker/Entailment.hs
+++ b/src/Language/PureScript/TypeChecker/Entailment.hs
@@ -202,9 +202,6 @@ entails env moduleName context = solve (sortedNubBy canonicalizeDictionary (filt
typeHeadsAreEqual :: ModuleName -> Environment -> Type -> Type -> Maybe [(String, Type)]
typeHeadsAreEqual _ _ (Skolem _ s1 _) (Skolem _ s2 _) | s1 == s2 = Just []
typeHeadsAreEqual _ _ t (TypeVar v) = Just [(v, t)]
--- In this case, we might want type information to flow back to the typechecker.
--- TODO: run this function in the UnifyT monad.
-typeHeadsAreEqual _ _ (TUnknown _) _ = Just []
typeHeadsAreEqual _ _ (TypeConstructor c1) (TypeConstructor c2) | c1 == c2 = Just []
typeHeadsAreEqual m e (TypeApp h1 t1) (TypeApp h2 t2) = (++) <$> typeHeadsAreEqual m e h1 h2
<*> typeHeadsAreEqual m e t1 t2