Fixed tests with missing instance names.
commita148ff97d7a16a3db12ffe99a142b6a93aea2d28
authorjoneshf <jones3.hardy@gmail.com>
dateSat 26 Jul 2014, 11:10 (12 years ago)
parent38bacfb
examples/failing/MPTCs.purs+1−1
@@ -3,5 +3,5 @@ module Main where
33class Foo a where
44 f :: a -> a
55
6−instance Foo String String where
6+instance fooStringString :: Foo String String where
77 f a = a
examples/failing/OverlappingVars.purs+1−1
@@ -5,7 +5,7 @@ class OverlappingVars a where
55
66data Foo a b = Foo a b
77
8−instance OverlappingVars (Foo a a) where
8+instance overlappingVarsFoo :: OverlappingVars (Foo a a) where
99 f a = a
1010
1111test = f (Foo "" 0)
examples/failing/TypeClassInstances.purs+1−1
@@ -4,5 +4,5 @@ class A a where
44 a :: a -> String
55 b :: a -> Number
66
7−instance A String where
7+instance aString :: A String where
88 a s = s
examples/failing/TypeSynonyms2.purs+1−1
@@ -5,5 +5,5 @@ class Foo a where
55
66type Bar = String
77
8−instance Foo Bar where
8+instance fooBar :: Foo Bar where
99 foo s = s
examples/failing/TypeSynonyms3.purs+1−1
@@ -5,5 +5,5 @@ class Foo a where
55
66type Bar = String
77
8−instance Foo Bar where
8+instance fooBar :: Foo Bar where
99 foo s = s