../
1185.pursFix #1185, fix #1369, add everythingWithScope traversal to correct some scoping issues.
1335.pursAdd test case
1570.pursFix #1570
1664.pursFix #1664, check kind before expanding wildcards.
1697.pursRenamer updates
1991.pursFix #1991, instantiate polymorphic types before unification in if..then.else
2018.pursFix cycles being detected with qualified imports
652.pursUpdate test suite
810.pursUpdate test suite
862.pursFix #862
922.pursFix #922, take 3
Applicative.pursUpdate test suite
ArrayType.pursUpdate test suite
Auto.pursUpdate test suite
AutoPrelude.pursUpdate test suite
AutoPrelude2.pursUpdate test suite
BindersInFunctions.pursUpdate test suite
BindingGroups.pursUpdate test suite
BlockString.pursUpdate test suite
CaseInDo.pursUpdate test suite
CaseInputWildcard.pursWildcards for case and if
CaseMultipleExpressions.pursMatch multiple expressions in case statements
CaseStatement.pursUpdate test suite
CheckFunction.pursUpdate test suite
CheckSynonymBug.pursUpdate test suite
CheckTypeClass.pursUpdate test suite
Church.pursUpdate test suite
ClassRefSyntax.pursAdd tests for new type & class ref syntax
Collatz.pursUpdate test suite
Comparisons.pursUpdate test suite
Conditional.pursUpdate test suite
Console.pursUpdate test suite
ConstraintInference.pursTests, Check all unknowns in unsolved constraints will be generalized
ContextSimplification.pursBasic context simplification
DataAndType.pursUpdate test suite
DctorOperatorAlias.pursQualified constructors are not valid identifiers for operator aliases.
DeepArrayBinder.pursUpdate test suite
DeepCase.pursUpdate test suite
Deriving.pursMore tests, handle Void types
Do.pursUpdate test suite
Dollar.pursUpdate test suite
Eff.pursUpdate test suite
EmptyDataDecls.pursUpdate test suite
EmptyRow.pursUpdate test suite
EmptyTypeClass.pursAdd native Partial constraint
EqOrd.pursUpdate test suite
ExplicitImportReExport.pursTest for #1244
ExplicitOperatorSections.pursMore tests
ExtendedInfixOperators.pursUpdate test suite
Fib.pursUpdate test suite
FieldConsPuns.pursRecord constructor field puns, fix #921
FieldPuns.pursField puns, fix #921
FinalTagless.pursUpdate test suite
FunctionScope.pursUpdate test suite
Functions.pursUpdate test suite
Functions2.pursUpdate test suite
Generalization1.pursDisallow constraint generalization for recursive functions.
Guards.pursUpdate test suite
HoistError.pursUpdate test suite
IfThenElseMaybe.pursUpdate test suite
IfWildcard.pursWildcards for case and if
ImplicitEmptyImport.pursUpdate test suite
ImportHiding.pursUpdate test suite
InferRecFunWithConstrainedArgument.pursUpdate test suite
InstanceBeforeClass.pursUpdate test suite
IntAndChar.pursUpdate test suite
JSReserved.pursUpdate test suite
KindedType.pursUpdate test suite
LargeSumType.pursAdd a warning, and a test.
Let.pursUpdate test suite
Let2.pursUpdate test suite
LetInInstance.pursUpdate test suite
LiberalTypeSynonyms.pursUpdate test suite
MPTCs.pursUpdate test suite
Match.pursUpdate test suite
ModuleExport.pursUpdate test suite
ModuleExportDupes.pursUpdate test suite
ModuleExportExcluded.pursUpdate test suite
ModuleExportQualified.pursUpdate test suite
ModuleExportSelf.pursUpdate test suite
Monad.pursUpdate test suite
MonadState.pursUpdate MonadState example
MultiArgFunctions.pursUpdate test suite
MutRec.pursUpdate test suite
MutRec2.pursUpdate test suite
MutRec3.pursUpdate test suite
NakedConstraint.pursAdd native Partial constraint
NamedPatterns.pursUpdate test suite
NegativeBinder.pursUpdate test suite
NegativeIntInRange.pursAllow use of bottom integer
Nested.pursUpdate test suite
NestedTypeSynonyms.pursUpdate test suite
NestedWhere.pursUpdate test suite
Newtype.pursUpdate test suite
NewtypeEff.pursUpdate test suite
NewtypeWithRecordUpdate.pursUpdate test suite
NonConflictingExports.pursDelay errors about scope conflicts until they are unavoidable
ObjectGetter.pursUpdate test suite
ObjectSynonym.pursUpdate test suite
ObjectUpdate.pursUpdate test suite
ObjectUpdate2.pursUpdate test suite
ObjectUpdater.pursUpdate test suite
ObjectWildcards.pursUpdate test suite
Objects.pursUpdate test suite
OneConstructor.pursUpdate test suite
OperatorAlias.pursIntroduce operator aliases
OperatorAliasElsewhere.pursAllow operator aliases for imported values
OperatorAssociativity.pursUpdate test suite
OperatorInlining.pursUpdate test suite
OperatorSections.pursFix #1090, allow accessors in operator sections
Operators.pursUpdate test suite
OptimizerBug.pursUpdate test suite
OptionalQualified.pursfixes #1502: make `qualified` keyword optional in qualified imports
OverlappingInstances.pursAdd assertions
OverlappingInstances2.pursAdd assertions
OverlappingInstances3.pursAdd assertions
PartialFunction.pursUpdate test suite
Patterns.pursUpdate test suite
PendingConflictingImports.pursDelay errors about scope conflicts until they are unavoidable
PendingConflictingImports2.pursDelay errors about scope conflicts until they are unavoidable
Person.pursUpdate test suite
QualifiedQualifiedImports.pursfixes #1502: make `qualified` keyword optional in qualified imports
Rank2Data.pursUpdate test suite
Rank2Object.pursUpdate test suite
Rank2TypeSynonym.pursUpdate test suite
Rank2Types.pursUpdate test suite
ReExportQualified.pursBetter re-export handling
RebindableSyntax.pursUpdate test suite
Recursion.pursUpdate test suite
ReservedWords.pursUpdate test suite
ResolvableScopeConflict.pursAllow one open import without warning
ResolvableScopeConflict2.pursAllow one open import without warning
ResolvableScopeConflict3.pursAllow one open import without warning
RowConstructors.pursUpdate test suite
RowPolyInstanceContext.pursUpdate test suite
RuntimeScopeIssue.pursUpdate test suite
ScopedTypeVariables.pursUpdate test suite
Sequence.pursUpdate test suite
SequenceDesugared.pursUpdate test suite
ShadowedModuleName.pursFix up shadowed module names in JS codegen
ShadowedRename.pursUpdate test suite
ShadowedTCO.pursUpdate test suite
ShadowedTCOLet.pursUpdate test suite
SignedNumericLiterals.pursUpdate test suite
StringEscapes.purssupport escapes for characters outside of BMP (code points > 0xFFFF)
Superclasses1.pursUpdate test suite
Superclasses3.pursUpdate test suite
TCO.pursWorkaround for TCO/composition inlining interaction
TCOCase.pursUpdate test suite
TailCall.pursUpdate test suite
Tick.pursUpdate test suite
TopLevelCase.pursUpdate test suite
TypeClassMemberOrderChange.pursUpdate test suite
TypeClasses.pursUpdate test suite
TypeClassesInOrder.pursUpdate test suite
TypeClassesWithOverlappingTypeVariables.pursUpdate test suite
TypeDecl.pursUpdate test suite
TypeOperators.pursType operator aliases
TypeSynonymInData.pursUpdate test suite
TypeSynonyms.pursUpdate test suite
TypeWildcards.pursUpdate test suite
TypeWildcardsRecordExtension.pursUpdate test suite
TypeWithoutParens.pursAdd tests for new type & class ref syntax
TypedBinders.pursFix #1551
TypedWhere.pursUpdate test suite
UTF8Sourcefile.pursfixed #1496.
UnderscoreIdent.pursUpdate test suite
UnicodeIdentifier.pursFix #1479, encode .js files as UTF8.
UnicodeOperators.pursUnicode operators
UnicodeType.pursExtended parser to accept unicode arrows
Unit.pursUpdate test suite
UnknownInTypeClassLookup.pursUpdate test suite
UntupledConstraints.pursDrop paren requirement for constraints
Where.pursUpdate test suite
iota.pursUpdate test suite
s.pursUpdate test suite
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list