git.iko.soy/rowtype-yoga/purescript-native
on bf64471 help sign in
rowtype-yoga/purescript-native/examples/failing
27 folders, 162 files
../ 1733/Multi-file test setup 2378/Handle TypeLevelString when checking orphans (#2393) 2379/Fix #2379, add error message for unknown classes (#2396) ConflictingExports/Multi-file test setup ConflictingImports/Multi-file test setup ConflictingImports2/Multi-file test setup ConflictingQualifiedImports/Multi-file test setup ConflictingQualifiedImports2/Multi-file test setup DiffKindsSameName/Add support for user defined kinds (#2486) DuplicateModule/Fix the duplicate/redefined module error ExportConflictClass/Fix issues with multiple data/type decls ExportConflictCtor/Fix issues with multiple data/type decls ExportConflictType/Fix issues with multiple data/type decls ExportConflictTypeOp/Fix issues with multiple data/type decls ExportConflictValue/Fix issues with multiple data/type decls ExportConflictValueOp/Fix issues with multiple data/type decls ExportExplicit1/Multi-file test setup ExportExplicit3/Multi-file test setup ImportExplicit/Multi-file test setup ImportExplicit2/Multi-file test setup ImportHidingModule/Multi-file test setup ImportModule/Multi-file test setup InstanceExport/Multi-file test setup OrphanInstance/Multi-file test setup OrphanInstanceFunDepCycle/Update orphan instance check to use covering sets OrphanInstanceNullary/Update orphan instance check to use covering sets OrphanInstanceWithDetermined/Update orphan instance check to use covering sets 1071.pursKind check constraint contexts, fix #1071 1169.pursAdd failing test case for #1169 1175.pursFix #1175 1310.pursFix #1310 1570.pursFix #1570 1733.pursSeparate the `Op` and `Ident` namespaces 1825.pursSeparate the `Op` and `Ident` namespaces 1881.pursFix indentation bug #1881 2128-class.pursFix issue 2128 (#2144) 2128-instance.pursFix issue 2128 (#2144) 2378.pursHandle TypeLevelString when checking orphans (#2393) 2379.pursFix #2379, add error message for unknown classes (#2396) 2434.pursfixes #2434 and #2438: PureScript chars must be UTF-16 code units (#2454) 2445.pursDisallow polymorphic types in binders, prevent internalError (#2624) 2534.pursReplace type wildcards earlier (#2535) 2542.pursDon't expand synonyms until after kind checking (#2546) 2601.pursFailing example for #2601 (#2607) 365.pursCheck the right kind of error is thrown in tests 438.pursChoose simplest superclass instance 881.pursFix #881, improve error for out-of-order declarations in instance AnonArgument1.pursMore tests AnonArgument2.pursMore tests AnonArgument3.pursMore tests ArgLengthMismatch.pursMulti-file test setup ArrayType.pursAdd a bunch more shouldFailWith declarations Arrays.pursSeparate the `Op` and `Ident` namespaces BindInDo-2.pursFail early when 'bind' is brought into scope inside 'do' (#2547) BindInDo.pursFail early when 'bind' is brought into scope inside 'do' (#2547) CannotDeriveNewtypeForData.pursAdd deriving for Data.Newtype CaseBinderLengthsDiffer.pursMatch multiple expressions in case statements CaseDoesNotMatchAllConstructorArgs.pursAdd a bunch more shouldFailWith declarations ConflictingExports.pursMulti-file test setup ConflictingImports.pursMulti-file test setup ConflictingImports2.pursMulti-file test setup ConflictingQualifiedImports.pursMulti-file test setup ConflictingQualifiedImports2.pursMulti-file test setup ConstraintFailure.purs2374: Add error message for ambiguous type variables in inferred contexts (#2410) ConstraintInference.purs2374: Add error message for ambiguous type variables in inferred contexts (#2410) DctorOperatorAliasExport.pursOperator aliases for data constructors DeclConflictClassCtor.pursFix issues with multiple data/type decls DeclConflictClassSynonym.pursFix issues with multiple data/type decls DeclConflictClassType.pursFix issues with multiple data/type decls DeclConflictCtorClass.pursFix issues with multiple data/type decls DeclConflictCtorCtor.pursFix issues with multiple data/type decls DeclConflictDuplicateCtor.pursDetect conflicting data constructor names DeclConflictSynonymClass.pursFix issues with multiple data/type decls DeclConflictSynonymType.pursFix issues with multiple data/type decls DeclConflictTypeClass.pursFix issues with multiple data/type decls DeclConflictTypeSynonym.pursFix issues with multiple data/type decls DeclConflictTypeType.pursFix issues with multiple data/type decls DiffKindsSameName.pursAdd support for user defined kinds (#2486) Do.pursNew Prelude names DoNotSuggestComposition.pursAdd a bunch more shouldFailWith declarations DoNotSuggestComposition2.pursFix function application judgment DuplicateDeclarationsInLet.pursAdd a bunch more shouldFailWith declarations DuplicateModule.pursFix the duplicate/redefined module error DuplicateProperties1.pursAdd a bunch more shouldFailWith declarations DuplicateProperties2.pursAdd a bunch more shouldFailWith declarations DuplicateTypeVars.pursAdd a bunch more shouldFailWith declarations Eff.pursAdd a bunch more shouldFailWith declarations EmptyCase.pursDo not allow empty case statement EmptyClass.pursFix #1072 EmptyDo.pursFix #386 ExportConflictClass.pursFix issues with multiple data/type decls ExportConflictCtor.pursFix issues with multiple data/type decls ExportConflictType.pursFix issues with multiple data/type decls ExportConflictTypeOp.pursFix issues with multiple data/type decls ExportConflictValue.pursFix issues with multiple data/type decls ExportConflictValueOp.pursFix issues with multiple data/type decls ExportExplicit.pursSeparate the `Op` and `Ident` namespaces ExportExplicit1.pursRequire imports for qualified names to resolve ExportExplicit2.pursMulti-file test setup ExportExplicit3.pursRequire imports for qualified names to resolve ExtraRecordField.pursFix ExtraRecordField example Foldable.pursAdd a bunch more shouldFailWith declarations Generalization1.pursDisallow constraint generalization for recursive functions. Generalization2.pursDisallow constraint generalization for recursive functions. ImportExplicit.pursSeparate the `Op` and `Ident` namespaces ImportExplicit2.pursMulti-file test setup ImportHidingModule.pursMulti-file test setup ImportModule.pursRequire dependencies to exist during sorting phase (#2570) InfiniteKind.pursAdd tests for infinite things InfiniteType.pursAdd tests for infinite things InstanceExport.pursMulti-file test setup IntOutOfRange.pursAllow use of bottom integer InvalidOperatorInBinder.pursOperator aliases for data constructors KindError.pursAdd a bunch more shouldFailWith declarations KindStar.pursFix #1042, better messages for ExpectedType errors. LeadingZeros1.pursAdd a bunch more shouldFailWith declarations LeadingZeros2.pursAdd a bunch more shouldFailWith declarations Let.pursAdd a bunch more shouldFailWith declarations MPTCs.pursFix 'Unknown type index' on mismatch between class and instance argument counts MissingClassExport.pursAdd a bunch more shouldFailWith declarations MissingClassMemberExport.purs0.9 Remove deprecated class import/export syntax MissingRecordField.pursFix #1315 MultipleErrors.pursFix some expected error messages in tests MultipleErrors2.pursSeparate the `Op` and `Ident` namespaces MultipleTypeOpFixities.pursSeparate the `Op` and `Ident` namespaces MultipleValueOpFixities.pursSeparate the `Op` and `Ident` namespaces MutRec.pursUpdate MutRec.purs MutRec2.pursAdd a bunch more shouldFailWith declarations NewtypeInstance.pursNewtype Deriving (#2304) NewtypeInstance2.pursNewtype Deriving (#2304) NewtypeInstance3.pursNewtype Deriving (#2304) NewtypeInstance4.pursNewtype Deriving (#2304) NewtypeInstance5.pursFix #2332, allow newtype deriving when newtype is not fully applied NewtypeInstance6.pursFix #2332, allow newtype deriving when newtype is not fully applied NewtypeMultiArgs.pursAdd a bunch more shouldFailWith declarations NewtypeMultiCtor.pursAdd a bunch more shouldFailWith declarations NonWildcardNewtypeInstance.pursDerive Data.Generic.Rep.Generic (#2356) NullaryAbs.pursAdd a bunch more shouldFailWith declarations Object.pursCheck the right kind of error is thrown in tests OperatorAliasNoExport.pursIntroduce operator aliases OperatorSections.pursFix function application judgment OrphanInstance.pursMulti-file test setup OrphanInstanceFunDepCycle.pursUpdate orphan instance check to use covering sets OrphanInstanceNullary.pursUpdate orphan instance check to use covering sets OrphanInstanceWithDetermined.pursUpdate orphan instance check to use covering sets OrphanTypeDecl.pursMulti-file test setup OverlappingArguments.pursAdd a bunch more shouldFailWith declarations OverlappingBinders.pursAdd a bunch more shouldFailWith declarations OverlappingVars.pursFunctional Dependencies (#2279) ProgrammableTypeErrors.pursFix build for programmable type errors after merge ProgrammableTypeErrorsTypeString.pursAdded typelevel string functions (#2280) Rank2Types.pursFix some expected error messages in tests RequiredHiddenType.pursMulti-file test setup Reserved.pursAdd a bunch more shouldFailWith declarations RowConstructors1.pursRequire imports for qualified names to resolve RowConstructors2.pursRequire imports for qualified names to resolve RowConstructors3.pursRequire imports for qualified names to resolve RowInInstanceNotDetermined0.pursAdd support for rows in instance head under fundeps (#2451) RowInInstanceNotDetermined1.pursAdd support for rows in instance head under fundeps (#2451) RowInInstanceNotDetermined2.pursAdd support for rows in instance head under fundeps (#2451) SkolemEscape.pursAdd a bunch more shouldFailWith declarations SkolemEscape2.pursNew Prelude names SuggestComposition.pursRemove legacy operator sections, merge #2024 Superclasses1.pursAdd a bunch more shouldFailWith declarations Superclasses2.pursAdd a bunch more shouldFailWith declarations Superclasses3.pursAdd a bunch more shouldFailWith declarations Superclasses5.pursNew Prelude names TooFewClassInstanceArgs.pursFix 'Unknown type index' on mismatch between class and instance argument counts TopLevelCaseNoArgs.pursAdd a bunch more shouldFailWith declarations TransitiveDctorExport.pursAdd tests for the improved transitive export check TransitiveSynonymExport.pursAdd tests for the improved transitive export check TypeClassInstances.pursAdd a bunch more shouldFailWith declarations TypeClasses2.pursAdd a bunch more shouldFailWith declarations TypeError.pursNew Prelude names TypeOperatorAliasNoExport.pursRequire types to be exported if an type operator alias is TypeSynonyms.pursAdd a bunch more shouldFailWith declarations TypeSynonyms2.pursAdd a bunch more shouldFailWith declarations TypeSynonyms3.pursAdd a bunch more shouldFailWith declarations TypeSynonyms4.pursAdd a bunch more shouldFailWith declarations TypeSynonyms5.pursAdd a bunch more shouldFailWith declarations TypeWildcards1.pursAdd a bunch more shouldFailWith declarations TypeWildcards2.pursAdd a bunch more shouldFailWith declarations TypeWildcards3.pursAdd deriving for Data.Newtype TypedBinders.pursRequire imports for qualified names to resolve TypedBinders2.pursRequire imports for qualified names to resolve TypedBinders3.pursRequire imports for qualified names to resolve TypedHole.pursTyped holes UnderscoreModuleName.pursRequire imports for qualified names to resolve UnknownType.pursSeparate the `Op` and `Ident` namespaces