file test result
abilities:
✓ [Abilities] one line structural abilityPASS
✓ [Abilities] unique abilityPASS
✓ [Abilities] optional `unique`PASS
binding:
✗ [Binding] destructuring bind of boxed typeFAIL
✓ [Binding] destructuring a tuplePASS
✓ [Binding] destructuring in a lambdaPASS
blocks:
✓ [Blocks] block starting with type signature'ified term declarationPASS
✓ [Blocks] inline and multiline comments should not affect indentation calculationPASS
✓ [Blocks] term rewritePASS
✓ [Blocks] case rewritePASS
✓ [Blocks] type rewritePASS
comment:
✓ [Comment] line commentPASS
✓ [Comment] multiline commentPASS
✓ [Comment] foldPASS
✓ [Comment] nested multiline commentPASS
conditionals:
✓ [Conditionals] single-line `if` expressionPASS
✓ [Conditionals] multiline `if`PASS
✓ [Conditionals] Boolean operationsPASS
delayed-computations:
✓ [Delayed] type and blockPASS
documentation:
✓ [Docs] simplePASS
✓ [Docs] complexPASS
function-application:
✓ [Function Application] infix opPASS
✓ [Function Application] prefix opPASS
✓ [Function Application] regular functionPASS
✓ [Function Application] infix operator functionPASS
handlers:
✓ [Handlers] one linePASS
✓ [Handlers] multiline 1PASS
✓ [Handlers] multiline 2PASS
✓ [Handlers] with casesPASS
identifiers:
✓ identifier: relativePASS
✓ identifier: simplePASS
✓ identifier: symopPASS
✓ [Identifier] hash-qualified symboly idPASS
✓ [Identifier] HQ built inPASS
✓ [Identifier] HQ prefixPASS
✓ [Identifier] HQ prefix and cyclePASS
✓ [Identifier] HQ prefix and cidPASS
✓ [Identifier] HQ prefix, cycle, and cidPASS
✓ [Identifiers] builtin hashPASS
✓ [Identifiers] builtin hash 2PASS
if-else:
✓ [Conditional] simple one line if/else with no complex expressionsPASS
✓ [Conditional] one line if/elsePASS
✓ [Conditional] if/then/elsePASS
let:
✓ Let blockPASS
literals:
✓ [Literal] textPASS
✓ [Literal] NatPASS
✓ [Literal] Nat (hex)PASS
✓ [Literal] IntPASS
✓ [Literal] FloatPASS
✓ [Literal] CharPASS
✓ [Literal] BooleanPASS
✓ [Literal] BytePASS
✓ [Literal] list literalPASS
✓ [Literal] functionPASS
✓ [Literal] tuplePASS
✓ [Literal] unitPASS
✓ [Literal] termLinkPASS
✓ [Literal] typeLinkPASS
✓ [Literal] NatPASS
✓ [Literal] numbersPASS
✓ [Literal] escape sequencesPASS
✓ [Literal] illegal floatPASS
misc:
✓ [misc] Watch expressionPASS
✓ [misc] Test watch expressionPASS
✓ [misc] test.io watch expressionPASS
✓ [Misc] forcePASS
pattern-matching:
✓ [Pattern matching] simplePASS
✓ [Pattern matching] with variablesPASS
✓ [Pattern matching] guard patternsPASS
✓ [Pattern matching] guard pattern 2PASS
✓ [Patterns] match x -> xPASS
✓ [Patterns] match 0 -> 1PASS
✓ [Patterns] pattern with newline layoutPASS
✓ [Patterns] matching on intPASS
✓ [Patterns] blank patternPASS
✓ [Patterns] multiple patternsPASS
✓ [Patterns] constructor patternPASS
✓ [Patterns] nested patternPASS
✓ [Patterns] newline layout for post-arrow block of RHS of patternPASS
✓ [Patterns] empty list literalPASS
✓ [Patterns] cons patternPASS
✓ [Patterns] singleton listPASS
✓ [Patterns] snoc patternPASS
✓ [Patterns] concat patternPASS
✓ [Patterns] cases (aka "lambda") pattern matchingPASS
regression:
✓ infix op functional expression not parsed as suchPASS
✓ [Regression] Issue 21: built-in hash without path not parsed correctlyPASS
✓ [Regression] issue 24: multiline text literal with an unescaped double quotation markPASS
✓ [Regression] Issue 30, infix ops with path in function applicationPASS
✓ [Regression] #34 - watch expressions can be binds (term definitions, but types are not allowed as per TermParser.hs, so not term declarations)PASS
✓ [Regression] Issue 37, docblock can be anywhere an expression isPASS
✓ [Regression] Issue 37, anonymous docblock immediately precedes term declarationPASS
✓ [Regression] Issue 39, Parenthesized operators in term declaration (def'n + type sig) failPASS
✓ [Regression] Issue 46, comment that appears where a fold could be failsPASS
✓ [Regression] #82PASS
✓ [Regression] 84 path with symboly id failsPASS
✓ [Regression] pattern matching guards should be part of a layouted blockPASS
✓ [Regression] #91 - infix op can have namespace prefixPASS
✓ [Regression] watch doc block fails to parsePASS
✓ [Regression] #103, match scrutinee should be termPASS
✓ [Regression] fold that is more than just ---PASS
✓ [Regression] <| operatorPASS
✓ [Regression] 2-symbol op ending with &PASS
term_declaration:
✓ simple term declarationPASS
✓ [Term] DeclarationPASS
✓ [Term] type signature with complex abilities clausePASS
✓ [Term] type signature with tuplePASS
types:
✓ [Types] structural typePASS
✓ [Types] unique typePASS
✓ [Types] type tag (no type constructor)PASS
✓ [Types] type name with namespace/qualifierPASS
✓ [Types] Record type, single linePASS
✓ [Types] Record type, multilinePASS
✓ [Types] optional `unique` keywordPASS
use:
✓ [use] namespace with path and no namesPASS
✓ [use] operatorsPASS
✓ [use] name with tick markPASS
✓ [use] namespace with a path component and an operator namePASS
1. [Binding] destructuring bind of boxed type:
(unisonFAIL