git.iko.soy/rowtype-yoga/purescript-native
on e0b1dfd help sign in
rowtype-yoga/purescript-native/examples/failing
33 files
../ Arrays.pursUpdate tests for renamed prelude modules Do.pursUpdate tests for `return` ExportExplicit.pursBasic tests for module exports ExportExplicit2.pursExplicit exports ExportExplicit3.pursDisallow export of undefined members ExportExplicit4.pursDisallow export of undefined members ExportExplicit5.pursDisallow export of undefined members ExportExplicit6.pursReject invalid qualified names Import.pursFix some examples ImportExplicit.pursCheck that specific data constructors do exist ImportExplicit2.pursCheck that specific data constructors do exist ImportExplicit3.pursCheck that specific data constructors do exist ImportModule.pursRearrange exports environment KindError.purs#188 Support for multiple data constructor arguments MPTCs.pursMulti parameter type classes #125. Also fix #224. ModuleDeps.pursSort modules based on dependencies MutRec.purs#185 Non-function values should not have access to the current binding group MutRec2.pursAnother example for #185 NullaryAbs.pursDon't parse nullary functions Object.pursFix rendering of object/row types, add failing test OverlappingVars.pursMulti parameter type classes #125. Also fix #224. Rank2Types.pursMake tests pass again ReadShow.pursFix some examples Reserved.pursDisallow reserved names as value names #136 SkolemEscape.pursFix some examples SkolemEscape2.pursUpdate tests for renamed prelude modules TypeClassInstances.pursFix type class issue where instances with missing members were passing the type checker #126 TypeClasses.pursAdd failing example TypeClasses2.pursFix type class instances scope issue TypeError.pursMake tests pass again TypeSynonyms.pursType synonyms and data type declarations can now depend on each other. TypeSynonyms2.pursDisallow type synonym instances #177 TypeSynonyms3.pursDisallow type synonym instances #177