git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Add a bunch more shouldFailWith declarations
7ee2ac7Harry Garrood
examples/failing/438.purs+6−2
compare with golang
unifiedsplit
@@ -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+
1module Main where
6module Main where
2
7
3import Prelude
8import Prelude
@@ -5,7 +10,6 @@ import Prelude
5data Fix f = In (f (Fix f))
10data Fix f = In (f (Fix f))
6
11
7instance eqFix :: (Eq (f (Fix f))) => Eq (Fix f) where
12instance eqFix :: (Eq (f (Fix f))) => Eq (Fix f) where
8− (==) (In f) (In g) = f == g
13+ eq (In f) (In g) = f == g
9− (/=) a b = not (a == b)
10
14
11example = In [] == In []
15example = In [] == In []
examples/failing/ArrayType.purs+2
@@ -1,3 +1,5 @@
1+-- @shouldFailWith TypesDoNotUnify
2+
1module Main where
3module Main where
2
4
3import Prelude
5import Prelude
examples/failing/Arrays.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TypesDoNotUnify
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/CaseDoesNotMatchAllConstructorArgs.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith IncorrectConstructorArity
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/Do.purs+2
@@ -1,3 +1,5 @@
1+-- @shouldFailWith InvalidDoBind
2+-- @shouldFailWith InvalidDoLet
1module Main where
3module Main where
2
4
3import Prelude
5import 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.
1module DoNotSuggestComposition where
4module DoNotSuggestComposition where
2
5
3import Prelude
6import 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+
1module DoNotSuggestComposition2 where
5module DoNotSuggestComposition2 where
2
6
3foo = let x = { y: 3 } in x 2
7foo = let x = { y: 3 } in x 2
examples/failing/DuplicateDeclarationsInLet.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith OverlappingNamesInLet
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/DuplicateProperties1.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TypesDoNotUnify
1module DuplicateProperties where
2module DuplicateProperties where
2
3
3import Prelude
4import Prelude
examples/failing/DuplicateProperties2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith DuplicateLabel
1module DuplicateProperties where
2module DuplicateProperties where
2
3
3import Prelude
4import Prelude
examples/failing/DuplicateTypeVars.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith DuplicateTypeArgument
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/Eff.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TypesDoNotUnify
1module Main where
2module Main where
2
3
3import Prelude
4import 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.
2module ExtraRecordField where
3module ExtraRecordField where
3
4
4import Prelude ((<>))
5import Prelude ((<>))
examples/failing/Foldable.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith CycleInDeclaration
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/InstanceExport.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TransitiveExportError
1module InstanceExport (S(..), f) where
2module InstanceExport (S(..), f) where
2
3
3import Prelude
4import Prelude
examples/failing/KindError.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith InvalidKind
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/LeadingZeros1.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ErrorParsingModule
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/LeadingZeros2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ErrorParsingModule
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/Let.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith CycleInDeclaration
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/MPTCs.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith KindsDoNotUnify
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/MissingClassExport.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TransitiveExportError
1module Test (bar) where
2module Test (bar) where
2
3
3import Prelude
4import Prelude
examples/failing/MissingClassMemberExport.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TransitiveExportError
1module Test (Foo) where
2module Test (Foo) where
2
3
3import Prelude
4import Prelude
examples/failing/MultipleErrors.purs+2
@@ -1,3 +1,5 @@
1+-- @shouldFailWith ExpressionDoesNotHaveType
2+-- @shouldFailWith ExpressionDoesNotHaveType
1module MultipleErrors where
3module MultipleErrors where
2
4
3import Prelude
5import Prelude
examples/failing/MutRec.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith CycleInDeclaration
1module MutRec where
2module MutRec where
2
3
3import Prelude
4import Prelude
examples/failing/MutRec2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith CycleInDeclaration
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/NewtypeMultiArgs.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith InvalidNewtype
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/NewtypeMultiCtor.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith InvalidNewtype
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/NullaryAbs.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ErrorParsingModule
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/OverlappingArguments.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ??
1module OverlappingArguments where
2module OverlappingArguments where
2
3
3import Prelude
4import Prelude
examples/failing/OverlappingBinders.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith OverlappingArgNames
1module OverlappingBinders where
2module OverlappingBinders where
2
3
3import Prelude
4import Prelude
examples/failing/OverlappingInstances.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith OverlappingInstances
1module OverlappingInstances where
2module OverlappingInstances where
2
3
3import Prelude
4import Prelude
examples/failing/Rank2Types.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith TypesDoNotUnify
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/RowConstructors1.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith KindsDoNotUnify
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/RowConstructors2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith KindsDoNotUnify
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/RowConstructors3.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith KindsDoNotUnify
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/SkolemEscape.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith EscapedSkolem
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/SuggestComposition.purs+2
@@ -1,3 +1,5 @@
1+-- @shouldFailWith TypesDoNotUnify
2+-- TODO: Ensure the correct suggestion is produced.
1module SuggestComposition where
3module SuggestComposition where
2
4
3import Prelude
5import Prelude
examples/failing/Superclasses1.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith NoInstanceFound
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/Superclasses2.purs+2
@@ -1,3 +1,5 @@
1+-- @shouldFailWith CycleInTypeSynonym
2+-- TODO: Should this have its own error, perhaps CycleInTypeClassDeclaration?
1module CycleInSuperclasses where
3module CycleInSuperclasses where
2
4
3import Prelude
5import Prelude
examples/failing/Superclasses3.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith UndefinedTypeVariable
1module UnknownSuperclassTypeVar where
2module UnknownSuperclassTypeVar where
2
3
3import Prelude
4import Prelude
examples/failing/Superclasses4.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith OverlappingInstances
1module OverlappingInstances where
2module OverlappingInstances where
2
3
3import Prelude
4import Prelude
examples/failing/TopLevelCaseNoArgs.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith DuplicateValueDeclaration
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/TypeClassInstances.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith MissingClassMember
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/TypeClasses2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith NoInstanceFound
1module Main where
2module Main where
2
3
3import Prelude ()
4import Prelude ()
examples/failing/TypeError.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ExprDoesNotHaveType
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/TypeSynonyms.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith CycleInTypeSynonym
1module Main where
2module Main where
2
3
3import Prelude
4import Prelude
examples/failing/TypeSynonyms4.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith PartiallyAppliedSynonym
1module TypeSynonyms4 where
2module TypeSynonyms4 where
2
3
3import Prelude
4import Prelude
examples/failing/TypeWildcards1.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ?
1module TypeWildcards where
2module TypeWildcards where
2
3
3import Prelude
4import Prelude
examples/failing/TypeWildcards2.purs+1
@@ -1,3 +1,4 @@
1+-- @shouldFailWith ?
1module TypeWildcards where
2module TypeWildcards where
2
3
3import Prelude
4import Prelude
examples/failing/UnifyInTypeInstanceLookup.purs+3
@@ -1,3 +1,6 @@
1+-- @shouldFailWith NoInstanceFound
2+-- See issue #390.
3+-- TODO: Improve this error.
1module Main where
4module Main where
2
5
3import Prelude
6import Prelude