../ Arrays.pursSpeed up test suite13 years ago Do.pursSpeed up test suite13 years ago KindError.pursSpeed up test suite13 years ago Let.pursFix #33213 years ago MPTCs.pursMulti parameter type classes #125. Also fix #224.13 years ago MutRec.purs#185 Non-function values should not have access to the current binding group13 years ago MutRec2.pursSpeed up test suite13 years ago NoOverlap.pursAdd failing example13 years ago NullaryAbs.pursSpeed up test suite13 years ago Object.pursSpeed up test suite13 years ago OverlappingVars.pursMulti parameter type classes #125. Also fix #224.13 years ago Rank2Types.pursSpeed up test suite13 years ago Reserved.pursSpeed up test suite13 years ago SkolemEscape.pursSpeed up test suite13 years ago SkolemEscape2.pursSpeed up test suite13 years ago Superclasses1.pursMore superclasses tests13 years ago Superclasses2.pursFix issue with type variables in super class dictionary types. Simplify desugaring somewhat, add more examples13 years ago Superclasses3.pursFix issue with type variables in super class dictionary types. Simplify desugaring somewhat, add more examples13 years ago Superclasses4.pursMore lenient overlap check13 years ago TypeClassInstances.pursSpeed up test suite13 years ago TypeClasses2.pursRevert "Revert "Initial work on #242""13 years ago TypeError.pursSpeed up test suite13 years ago TypeSynonyms.pursSpeed up test suite13 years ago TypeSynonyms2.pursSpeed up test suite13 years ago TypeSynonyms3.pursSpeed up test suite13 years ago UnifyInTypeInstanceLookup.pursFix #390. Disallow unification of unknowns during type class instance resolution.13 years ago UnknownType.pursAdditional failing tests for names13 years ago UnknownValue.pursAdditional failing tests for names13 years ago