Add a bunch more shouldFailWith declarations
commit7ee2ac7fb649f0ebc2a568af653cb512ee9be909
authorHarry Garrood <harry@garrood.me>
dateSun 2 Aug 2015, 22:19 (11 years ago)
parent3166b4c
examples/failing/438.purs+6−2
@@ -1,3 +1,8 @@
1+-- @shouldFailWith NoInstanceFound
2+
3+-- See issue 438 for details: this test is mainly here to test that code like
4+-- this doesn't cause the compiler to loop.
5+
16module Main where
27
38import Prelude
@@ -5,7 +10,6 @@ import Prelude
510data Fix f = In (f (Fix f))
611
712instance eqFix :: (Eq (f (Fix f))) => Eq (Fix f) where
8− (==) (In f) (In g) = f == g
9− (/=) a b = not (a == b)
13+ eq (In f) (In g) = f == g
1014
1115example = In [] == In []
examples/failing/ArrayType.purs+2
@@ -1,3 +1,5 @@
1+-- @shouldFailWith TypesDoNotUnify
2+
13module Main where
24
35import Prelude
examples/failing/Arrays.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TypesDoNotUnify
12module Main where
23
34import Prelude
examples/failing/CaseDoesNotMatchAllConstructorArgs.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith IncorrectConstructorArity
12module Main where
23
34import Prelude
examples/failing/Do.purs+2
@@ -1,3 +1,5 @@
1+-- @shouldFailWith InvalidDoBind
2+-- @shouldFailWith InvalidDoLet
13module Main where
24
35import Prelude
examples/failing/DoNotSuggestComposition.purs+3
@@ -1,3 +1,6 @@
1+-- @shouldFailWith TypesDoNotUnify
2+-- TODO: Check that this does not produce a "function composition is (<<<)"
3+-- suggestion.
14module DoNotSuggestComposition where
25
36import Prelude
examples/failing/DoNotSuggestComposition2.purs+4
@@ -1,3 +1,7 @@
1+-- @shouldFailWith CannotApplyFunction
2+-- TODO: Check that this does not produce a "function composition is (<<<)"
3+-- suggestion.
4+
15module DoNotSuggestComposition2 where
26
37foo = let x = { y: 3 } in x 2
examples/failing/DuplicateDeclarationsInLet.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith OverlappingNamesInLet
12module Main where
23
34import Prelude
examples/failing/DuplicateProperties1.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TypesDoNotUnify
12module DuplicateProperties where
23
34import Prelude
examples/failing/DuplicateProperties2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith DuplicateLabel
12module DuplicateProperties where
23
34import Prelude
examples/failing/DuplicateTypeVars.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith DuplicateTypeArgument
12module Main where
23
34import Prelude
examples/failing/Eff.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TypesDoNotUnify
12module Main where
23
34import Prelude
examples/failing/ExtraRecordField.purs+2−1
@@ -1,4 +1,5 @@
1−
1+-- @shouldFailWith PropertyIsMissing
2+-- TODO: Make this fail with a new error ExtraProperty instead.
23module ExtraRecordField where
34
45import Prelude ((<>))
examples/failing/Foldable.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith CycleInDeclaration
12module Main where
23
34import Prelude
examples/failing/InstanceExport.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TransitiveExportError
12module InstanceExport (S(..), f) where
23
34import Prelude
examples/failing/KindError.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith InvalidKind
12module Main where
23
34import Prelude
examples/failing/LeadingZeros1.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ErrorParsingModule
12module Main where
23
34import Prelude
examples/failing/LeadingZeros2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ErrorParsingModule
12module Main where
23
34import Prelude
examples/failing/Let.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith CycleInDeclaration
12module Main where
23
34import Prelude
examples/failing/MPTCs.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith KindsDoNotUnify
12module Main where
23
34import Prelude
examples/failing/MissingClassExport.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TransitiveExportError
12module Test (bar) where
23
34import Prelude
examples/failing/MissingClassMemberExport.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TransitiveExportError
12module Test (Foo) where
23
34import Prelude
examples/failing/MultipleErrors.purs+2
@@ -1,3 +1,5 @@
1+-- @shouldFailWith ExpressionDoesNotHaveType
2+-- @shouldFailWith ExpressionDoesNotHaveType
13module MultipleErrors where
24
35import Prelude
examples/failing/MutRec.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith CycleInDeclaration
12module MutRec where
23
34import Prelude
examples/failing/MutRec2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith CycleInDeclaration
12module Main where
23
34import Prelude
examples/failing/NewtypeMultiArgs.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith InvalidNewtype
12module Main where
23
34import Prelude
examples/failing/NewtypeMultiCtor.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith InvalidNewtype
12module Main where
23
34import Prelude
examples/failing/NullaryAbs.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ErrorParsingModule
12module Main where
23
34import Prelude
examples/failing/OverlappingArguments.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ??
12module OverlappingArguments where
23
34import Prelude
examples/failing/OverlappingBinders.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith OverlappingArgNames
12module OverlappingBinders where
23
34import Prelude
examples/failing/OverlappingInstances.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith OverlappingInstances
12module OverlappingInstances where
23
34import Prelude
examples/failing/Rank2Types.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TypesDoNotUnify
12module Main where
23
34import Prelude
examples/failing/RowConstructors1.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith KindsDoNotUnify
12module Main where
23
34import Prelude
examples/failing/RowConstructors2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith KindsDoNotUnify
12module Main where
23
34import Prelude
examples/failing/RowConstructors3.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith KindsDoNotUnify
12module Main where
23
34import Prelude
examples/failing/SkolemEscape.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith EscapedSkolem
12module Main where
23
34import Prelude
examples/failing/SuggestComposition.purs+2
@@ -1,3 +1,5 @@
1+-- @shouldFailWith TypesDoNotUnify
2+-- TODO: Ensure the correct suggestion is produced.
13module SuggestComposition where
24
35import Prelude
examples/failing/Superclasses1.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith NoInstanceFound
12module Main where
23
34import Prelude
examples/failing/Superclasses2.purs+2
@@ -1,3 +1,5 @@
1+-- @shouldFailWith CycleInTypeSynonym
2+-- TODO: Should this have its own error, perhaps CycleInTypeClassDeclaration?
13module CycleInSuperclasses where
24
35import Prelude
examples/failing/Superclasses3.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith UndefinedTypeVariable
12module UnknownSuperclassTypeVar where
23
34import Prelude
examples/failing/Superclasses4.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith OverlappingInstances
12module OverlappingInstances where
23
34import Prelude
examples/failing/TopLevelCaseNoArgs.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith DuplicateValueDeclaration
12module Main where
23
34import Prelude
examples/failing/TypeClassInstances.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith MissingClassMember
12module Main where
23
34import Prelude
examples/failing/TypeClasses2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith NoInstanceFound
12module Main where
23
34import Prelude ()
examples/failing/TypeError.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ExprDoesNotHaveType
12module Main where
23
34import Prelude
examples/failing/TypeSynonyms.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith CycleInTypeSynonym
12module Main where
23
34import Prelude
examples/failing/TypeSynonyms4.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith PartiallyAppliedSynonym
12module TypeSynonyms4 where
23
34import Prelude
examples/failing/TypeWildcards1.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ?
12module TypeWildcards where
23
34import Prelude
examples/failing/TypeWildcards2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ?
12module TypeWildcards where
23
34import Prelude
examples/failing/UnifyInTypeInstanceLookup.purs+3
@@ -1,3 +1,6 @@
1+-- @shouldFailWith NoInstanceFound
2+-- See issue #390.
3+-- TODO: Improve this error.
14module Main where
25
36import Prelude