../ Arrays.pursUpdate tests for renamed prelude modules13 years ago Do.pursUpdate tests for `return`13 years ago Import.pursFix some examples13 years ago ImportExplicit.pursDeal with data constructors from explicit imports13 years ago KindError.purs#188 Support for multiple data constructor arguments13 years ago MPTCs.pursMulti parameter type classes #125. Also fix #224.13 years ago ModuleDeps.pursSort modules based on dependencies13 years ago MutRec.purs#185 Non-function values should not have access to the current binding group13 years ago MutRec2.pursAnother example for #18513 years ago NullaryAbs.pursDon't parse nullary functions13 years ago Object.pursFix rendering of object/row types, add failing test13 years ago OverlappingVars.pursMulti parameter type classes #125. Also fix #224.13 years ago Rank2Types.pursMake tests pass again13 years ago ReadShow.pursFix some examples13 years ago Reserved.pursDisallow reserved names as value names #13613 years ago SkolemEscape.pursFix some examples13 years ago SkolemEscape2.pursUpdate tests for renamed prelude modules13 years ago TypeClassInstances.pursFix type class issue where instances with missing members were passing the type checker #12613 years ago TypeClasses.pursAdd failing example13 years ago TypeClasses2.pursFix type class instances scope issue13 years ago TypeError.pursMake tests pass again13 years ago TypeSynonyms.pursType synonyms and data type declarations can now depend on each other.13 years ago TypeSynonyms2.pursDisallow type synonym instances #17713 years ago TypeSynonyms3.pursDisallow type synonym instances #17713 years ago