git.iko.soy/rowtype-yoga/purescript-native
on 20dbda1 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.pursSeparate the `Op` and `Ident` namespaces ExportExplicit2.pursMulti-file test setup ExportExplicit3.pursSeparate the `Op` and `Ident` namespaces 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.pursAdd a bunch more shouldFailWith declarations RowConstructors2.pursAdd a bunch more shouldFailWith declarations RowConstructors3.pursAdd a bunch more shouldFailWith declarations 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.pursAdd Typed Binders TypedBinders2.pursAdd Typed Binders TypedBinders3.pursAdd Typed Binders TypedHole.pursTyped holes UnderscoreModuleName.pursAdd a bunch more shouldFailWith declarations UnifyInTypeInstanceLookup.pursAdd a bunch more shouldFailWith declarations UnknownType.pursSeparate the `Op` and `Ident` namespaces