git.iko.soy/rowtype-yoga/purescript-native
on cd4c708 help sign in
rowtype-yoga/purescript-native/examples/failing
15 folders, 116 files
../ 1733/Multi-file test setup 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 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 OverlappingReExport/Multi-file test setup 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 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 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 ConstraintInference.pursTests, Check all unknowns in unsolved constraints will be generalized DctorOperatorAliasExport.pursOperator aliases for data constructors Do.pursNew Prelude names DoNotSuggestComposition.pursAdd a bunch more shouldFailWith declarations DoNotSuggestComposition2.pursAdd a bunch more shouldFailWith declarations DuplicateDeclarationsInLet.pursAdd a bunch more shouldFailWith declarations 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 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.pursSeparate the `Op` and `Ident` namespaces 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.pursAdd a bunch more shouldFailWith declarations 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 NewtypeMultiArgs.pursAdd a bunch more shouldFailWith declarations NewtypeMultiCtor.pursAdd a bunch more shouldFailWith declarations NullaryAbs.pursAdd a bunch more shouldFailWith declarations Object.pursCheck the right kind of error is thrown in tests OperatorAliasNoExport.pursIntroduce operator aliases OperatorSections.pursAdd missing newline OrphanInstance.pursMulti-file test setup OrphanTypeDecl.pursMulti-file test setup OverlappingArguments.pursAdd a bunch more shouldFailWith declarations OverlappingBinders.pursAdd a bunch more shouldFailWith declarations OverlappingReExport.pursMulti-file test setup OverlappingVars.pursAdd a bunch more shouldFailWith declarations 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 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 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 a bunch more shouldFailWith declarations 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 UnifyInTypeInstanceLookup.pursAdd a bunch more shouldFailWith declarations UnknownType.pursSeparate the `Op` and `Ident` namespaces