git.iko.soy/rowtype-yoga/purescript-native
on e005ea0 help sign in
rowtype-yoga/purescript-native/examples/failing
51 files
../ 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.pursAdd failing Foldable testcase from #365 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.pursFix #533 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 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.pursSpeed up test suite TypeSynonyms2.pursFixed tests with missing instance names. TypeSynonyms3.pursFixed tests with missing instance names. TypeSynonyms4.pursFix #694, take 2 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