purescript 0.6.7 → 0.6.7.1

raw patch · 3 files changed

+1/−12 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• examples/passing/UnknownInInstance.purs +0/−8
• purescript.cabal +1/−1
• src/Language/PureScript/TypeChecker/Entailment.hs +0/−3

@@ -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"

@@ -1,5 +1,5 @@ name: purescript-version: 0.6.7+version: 0.6.7.1 cabal-version: >=1.8 build-type: Simple license: MIT

@@ -202,9 +202,6 @@ 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