Skip to content

Commit c2db13a

Browse files
paf31paf31
committed
1 parent 54c6c5e commit c2db13a

File tree

2 files changed

+0
-11
lines changed

2 files changed

+0
-11
lines changed

‎examples/passing/UnknownInInstance.purs‎

Lines changed: 0 additions & 8 deletions
This file was deleted.

‎src/Language/PureScript/TypeChecker/Entailment.hs‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -202,9 +202,6 @@ entails env moduleName context = solve (sortedNubBy canonicalizeDictionary (filt
202202
typeHeadsAreEqual :: ModuleName -> Environment -> Type -> Type -> Maybe [(String, Type)]
203203
typeHeadsAreEqual _ _ (Skolem _ s1 _) (Skolem _ s2 _) | s1 == s2 = Just []
204204
typeHeadsAreEqual _ _ t (TypeVar v) = Just [(v, t)]
205-
-- In this case, we might want type information to flow back to the typechecker.
206-
-- TODO: run this function in the UnifyT monad.
207-
typeHeadsAreEqual _ _ (TUnknown _) _ = Just []
208205
typeHeadsAreEqual _ _ (TypeConstructor c1) (TypeConstructor c2) | c1 == c2 = Just []
209206
typeHeadsAreEqual m e (TypeApp h1 t1) (TypeApp h2 t2) = (++) <$> typeHeadsAreEqual m e h1 h2
210207
<*> typeHeadsAreEqual m e t1 t2

0 commit comments

Comments
 (0)