../ 1733/Multi-file test setup10 years ago ConflictingExports/Multi-file test setup10 years ago ConflictingImports/Multi-file test setup10 years ago ConflictingImports2/Multi-file test setup10 years ago ConflictingQualifiedImports/Multi-file test setup10 years ago ConflictingQualifiedImports2/Multi-file test setup10 years ago ExportConflictClass/Fix issues with multiple data/type decls10 years ago ExportConflictCtor/Fix issues with multiple data/type decls10 years ago ExportConflictType/Fix issues with multiple data/type decls10 years ago ExportConflictTypeOp/Fix issues with multiple data/type decls10 years ago ExportConflictValue/Fix issues with multiple data/type decls10 years ago ExportConflictValueOp/Fix issues with multiple data/type decls10 years ago ExportExplicit1/Multi-file test setup10 years ago ExportExplicit3/Multi-file test setup10 years ago ImportExplicit/Multi-file test setup10 years ago ImportExplicit2/Multi-file test setup10 years ago ImportHidingModule/Multi-file test setup10 years ago ImportModule/Multi-file test setup10 years ago InstanceExport/Multi-file test setup10 years ago OrphanInstance/Multi-file test setup10 years ago 1071.pursKind check constraint contexts, fix #107111 years ago 1169.pursAdd failing test case for #116911 years ago 1175.pursFix #117511 years ago 1310.pursFix #131011 years ago 1570.pursFix #157011 years ago 1733.pursSeparate the `Op` and `Ident` namespaces10 years ago 1825.pursSeparate the `Op` and `Ident` namespaces10 years ago 1881.pursFix indentation bug #188111 years ago 2128-class.pursFix issue 2128 (#2144)10 years ago 2128-instance.pursFix issue 2128 (#2144)10 years ago 365.pursCheck the right kind of error is thrown in tests11 years ago 438.pursChoose simplest superclass instance11 years ago 881.pursFix #881, improve error for out-of-order declarations in instance11 years ago AnonArgument1.pursMore tests11 years ago AnonArgument2.pursMore tests11 years ago AnonArgument3.pursMore tests11 years ago ArgLengthMismatch.pursMulti-file test setup10 years ago ArrayType.pursAdd a bunch more shouldFailWith declarations11 years ago Arrays.pursSeparate the `Op` and `Ident` namespaces10 years ago CaseBinderLengthsDiffer.pursMatch multiple expressions in case statements11 years ago CaseDoesNotMatchAllConstructorArgs.pursAdd a bunch more shouldFailWith declarations11 years ago ConflictingExports.pursMulti-file test setup10 years ago ConflictingImports.pursMulti-file test setup10 years ago ConflictingImports2.pursMulti-file test setup10 years ago ConflictingQualifiedImports.pursMulti-file test setup10 years ago ConflictingQualifiedImports2.pursMulti-file test setup10 years ago ConstraintInference.pursTests, Check all unknowns in unsolved constraints will be generalized11 years ago DctorOperatorAliasExport.pursOperator aliases for data constructors11 years ago DeclConflictClassCtor.pursFix issues with multiple data/type decls10 years ago DeclConflictClassSynonym.pursFix issues with multiple data/type decls10 years ago DeclConflictClassType.pursFix issues with multiple data/type decls10 years ago DeclConflictCtorClass.pursFix issues with multiple data/type decls10 years ago DeclConflictCtorCtor.pursFix issues with multiple data/type decls10 years ago DeclConflictSynonymClass.pursFix issues with multiple data/type decls10 years ago DeclConflictSynonymType.pursFix issues with multiple data/type decls10 years ago DeclConflictTypeClass.pursFix issues with multiple data/type decls10 years ago DeclConflictTypeSynonym.pursFix issues with multiple data/type decls10 years ago DeclConflictTypeType.pursFix issues with multiple data/type decls10 years ago Do.pursNew Prelude names11 years ago DoNotSuggestComposition.pursAdd a bunch more shouldFailWith declarations11 years ago DoNotSuggestComposition2.pursAdd a bunch more shouldFailWith declarations11 years ago DuplicateDeclarationsInLet.pursAdd a bunch more shouldFailWith declarations11 years ago DuplicateProperties1.pursAdd a bunch more shouldFailWith declarations11 years ago DuplicateProperties2.pursAdd a bunch more shouldFailWith declarations11 years ago DuplicateTypeVars.pursAdd a bunch more shouldFailWith declarations11 years ago Eff.pursAdd a bunch more shouldFailWith declarations11 years ago EmptyCase.pursDo not allow empty case statement11 years ago EmptyClass.pursFix #107211 years ago EmptyDo.pursFix #38611 years ago ExportConflictClass.pursFix issues with multiple data/type decls10 years ago ExportConflictCtor.pursFix issues with multiple data/type decls10 years ago ExportConflictType.pursFix issues with multiple data/type decls10 years ago ExportConflictTypeOp.pursFix issues with multiple data/type decls10 years ago ExportConflictValue.pursFix issues with multiple data/type decls10 years ago ExportConflictValueOp.pursFix issues with multiple data/type decls10 years ago ExportExplicit.pursSeparate the `Op` and `Ident` namespaces10 years ago ExportExplicit1.pursRequire imports for qualified names to resolve10 years ago ExportExplicit2.pursMulti-file test setup10 years ago ExportExplicit3.pursRequire imports for qualified names to resolve10 years ago ExtraRecordField.pursFix ExtraRecordField example11 years ago Foldable.pursAdd a bunch more shouldFailWith declarations11 years ago Generalization1.pursDisallow constraint generalization for recursive functions.11 years ago Generalization2.pursDisallow constraint generalization for recursive functions.11 years ago ImportExplicit.pursSeparate the `Op` and `Ident` namespaces10 years ago ImportExplicit2.pursMulti-file test setup10 years ago ImportHidingModule.pursMulti-file test setup10 years ago ImportModule.pursSeparate the `Op` and `Ident` namespaces10 years ago InfiniteKind.pursAdd tests for infinite things11 years ago InfiniteType.pursAdd tests for infinite things11 years ago InstanceExport.pursMulti-file test setup10 years ago IntOutOfRange.pursAllow use of bottom integer11 years ago InvalidOperatorInBinder.pursOperator aliases for data constructors11 years ago KindError.pursAdd a bunch more shouldFailWith declarations11 years ago KindStar.pursFix #1042, better messages for ExpectedType errors.11 years ago LeadingZeros1.pursAdd a bunch more shouldFailWith declarations11 years ago LeadingZeros2.pursAdd a bunch more shouldFailWith declarations11 years ago Let.pursAdd a bunch more shouldFailWith declarations11 years ago MPTCs.pursAdd a bunch more shouldFailWith declarations11 years ago MissingClassExport.pursAdd a bunch more shouldFailWith declarations11 years ago MissingClassMemberExport.purs0.9 Remove deprecated class import/export syntax11 years ago MissingRecordField.pursFix #131511 years ago MultipleErrors.pursFix some expected error messages in tests11 years ago MultipleErrors2.pursSeparate the `Op` and `Ident` namespaces10 years ago MultipleTypeOpFixities.pursSeparate the `Op` and `Ident` namespaces10 years ago MultipleValueOpFixities.pursSeparate the `Op` and `Ident` namespaces10 years ago MutRec.pursUpdate MutRec.purs11 years ago MutRec2.pursAdd a bunch more shouldFailWith declarations11 years ago NewtypeMultiArgs.pursAdd a bunch more shouldFailWith declarations11 years ago NewtypeMultiCtor.pursAdd a bunch more shouldFailWith declarations11 years ago NullaryAbs.pursAdd a bunch more shouldFailWith declarations11 years ago Object.pursCheck the right kind of error is thrown in tests11 years ago OperatorAliasNoExport.pursIntroduce operator aliases11 years ago OperatorSections.pursAdd missing newline11 years ago OrphanInstance.pursMulti-file test setup10 years ago OrphanTypeDecl.pursMulti-file test setup10 years ago OverlappingArguments.pursAdd a bunch more shouldFailWith declarations11 years ago OverlappingBinders.pursAdd a bunch more shouldFailWith declarations11 years ago OverlappingVars.pursAdd a bunch more shouldFailWith declarations11 years ago ProgrammableTypeErrors.pursFix build for programmable type errors after merge10 years ago Rank2Types.pursFix some expected error messages in tests11 years ago RequiredHiddenType.pursMulti-file test setup10 years ago Reserved.pursAdd a bunch more shouldFailWith declarations11 years ago RowConstructors1.pursRequire imports for qualified names to resolve10 years ago RowConstructors2.pursRequire imports for qualified names to resolve10 years ago RowConstructors3.pursRequire imports for qualified names to resolve10 years ago SkolemEscape.pursAdd a bunch more shouldFailWith declarations11 years ago SkolemEscape2.pursNew Prelude names11 years ago SuggestComposition.pursRemove legacy operator sections, merge #202411 years ago Superclasses1.pursAdd a bunch more shouldFailWith declarations11 years ago Superclasses2.pursAdd a bunch more shouldFailWith declarations11 years ago Superclasses3.pursAdd a bunch more shouldFailWith declarations11 years ago Superclasses5.pursNew Prelude names11 years ago TopLevelCaseNoArgs.pursAdd a bunch more shouldFailWith declarations11 years ago TransitiveDctorExport.pursAdd tests for the improved transitive export check11 years ago TransitiveSynonymExport.pursAdd tests for the improved transitive export check11 years ago TypeClassInstances.pursAdd a bunch more shouldFailWith declarations11 years ago TypeClasses2.pursAdd a bunch more shouldFailWith declarations11 years ago TypeError.pursNew Prelude names11 years ago TypeOperatorAliasNoExport.pursRequire types to be exported if an type operator alias is11 years ago TypeSynonyms.pursAdd a bunch more shouldFailWith declarations11 years ago TypeSynonyms2.pursAdd a bunch more shouldFailWith declarations11 years ago TypeSynonyms3.pursAdd a bunch more shouldFailWith declarations11 years ago TypeSynonyms4.pursAdd a bunch more shouldFailWith declarations11 years ago TypeSynonyms5.pursAdd a bunch more shouldFailWith declarations11 years ago TypeWildcards1.pursAdd a bunch more shouldFailWith declarations11 years ago TypeWildcards2.pursAdd a bunch more shouldFailWith declarations11 years ago TypeWildcards3.pursAdd a bunch more shouldFailWith declarations11 years ago TypedBinders.pursRequire imports for qualified names to resolve10 years ago TypedBinders2.pursRequire imports for qualified names to resolve10 years ago TypedBinders3.pursRequire imports for qualified names to resolve10 years ago TypedHole.pursTyped holes11 years ago UnderscoreModuleName.pursRequire imports for qualified names to resolve10 years ago UnifyInTypeInstanceLookup.pursAdd a bunch more shouldFailWith declarations11 years ago UnknownType.pursSeparate the `Op` and `Ident` namespaces10 years ago