git.iko.soy/rowtype-yoga/purescript-native
on e65645e help sign in
rowtype-yoga/purescript-native/examples/failing
57 files
../ 365.pursFix #365 438.pursFix #438 and #979 ArrayType.purs#458 Arrays.pursSpeed up test suite Do.pursSpeed up test suite DuplicateDeclarationsInLet.pursFix #824 DuplicateProperties1.pursFix error case in #457 DuplicateProperties2.pursCheck for duplicate labels in intermediate types. DuplicateTypeVars.pursFix #548 Eff.pursprovide Control.Monad.ST.pureST Foldable.pursRemove array type notation and cons binders InstanceExport.pursBreaking example and some refactoring KindError.pursSpeed up test suite Let.pursFix #332 MPTCs.pursFixed tests with missing instance names. MissingClassExport.pursCheck exported members don't use private classes MissingClassMemberExport.pursCheck classes aren't partially exported MultipleErrors.pursFix #524 MultipleErrors2.pursMultiple errors during name resolution MutRec.purs#185 Non-function values should not have access to the current binding group MutRec2.pursSpeed up test suite NewtypeMultiArgs.purstrim trailing whitespace NewtypeMultiCtor.purstrim trailing whitespace NoOverlap.pursAdd failing example NullaryAbs.pursSpeed up test suite Object.pursSpeed up test suite OverlappingArguments.pursFix #533 OverlappingBinders.pursRemove array type notation and cons binders OverlappingInstances.pursFix #620. More rigorous overlap check. OverlappingInstances2.pursAnother test OverlappingVars.pursFixed tests with missing instance names. Rank2Types.pursSpeed up test suite Reserved.pursSpeed up test suite RowConstructors1.pursCreate simple failing test cases for row constructors RowConstructors2.pursCreate simple failing test cases for row constructors RowConstructors3.pursCreate simple failing test cases for row constructors SkolemEscape.pursSpeed up test suite SkolemEscape2.purstrim trailing whitespace Superclasses1.pursMore superclasses tests Superclasses2.pursFix issue with type variables in super class dictionary types. Simplify desugaring somewhat, add more examples Superclasses3.pursFix issue with type variables in super class dictionary types. Simplify desugaring somewhat, add more examples Superclasses4.pursMore lenient overlap check TopLevelCaseNoArgs.pursDisallow top level cases with no arguments. Fixes #532 TypeClassInstances.pursFixed tests with missing instance names. TypeClasses2.pursRevert "Revert "Initial work on #242"" TypeError.pursSpeed up test suite TypeSynonyms.pursRemove array type notation and cons binders TypeSynonyms2.pursFixed tests with missing instance names. TypeSynonyms3.pursFixed tests with missing instance names. TypeSynonyms4.pursFix #694, take 2 TypeSynonyms5.pursCover failing case in BindingGroups TypeWildcards1.pursType wildcards are disallowed in type synonyms, data declarations, instances. #287 TypeWildcards2.pursType wildcards are disallowed in type synonyms, data declarations, instances. #287 TypeWildcards3.pursType wildcards are disallowed in type synonyms, data declarations, instances. #287 UnderscoreModuleName.pursLift restriction on underscores in unames UnifyInTypeInstanceLookup.pursFix #390. Disallow unification of unknowns during type class instance resolution. UnknownType.purstrim trailing whitespace