| .. |
|
methodical
|
Rework universal comparison for Float
|
2021-11-02 11:33:52 -04:00 |
|
324.u
|
Implement fix. There were lots of tests that were inadvertently relying on the bug.
|
2020-10-22 22:33:12 -04:00 |
|
344.uu
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
514.u
|
fix #514
|
2019-07-02 22:59:49 -04:00 |
|
595.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
868.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
868.ur
|
fix #868, #870
|
2019-10-16 15:23:16 -04:00 |
|
a-tale-of-two-optionals.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
ability-inference-fail.uu
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
ability-keyword.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
abort.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
ask-inferred.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
boolean-ops-in-sequence.u
|
Allow boolean operators to be used in sequence
|
2019-10-27 10:47:49 +00:00 |
|
builtin-arity-0-evaluation.u
|
restore old names for builtins and update tests that were relying on TDNR for ==
|
2019-03-17 20:05:44 -04:00 |
|
builtin-arity-0-evaluation.ur
|
Add test for #351.
|
2019-03-07 13:01:34 -05:00 |
|
caseguard.u
|
fix stray case .. of instances and opportunities for cases in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
cce.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
cce.ur
|
unpending a test
|
2019-03-07 15:15:40 -05:00 |
|
compose-inference.u
|
Fixed up tests
|
2019-02-12 14:10:33 -05:00 |
|
console1.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
console.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
data-references-builtins.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
delay_parse.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
delay.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
effect1.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
effect-instantiation2.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
effect-instantiation.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
empty-above-the-fold.u
|
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
|
2019-05-09 10:36:29 -04:00 |
|
fib4.ur
|
Added .ur files
|
2019-02-12 20:08:08 -05:00 |
|
fix528.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
fix528.ur
|
fix #528
|
2019-06-30 23:16:57 -04:00 |
|
fix739.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
fix1185.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
fix1640.u
|
Fix #1640 and also fix unreported pattern parsing bug and add test for it
|
2020-07-29 10:15:06 -04:00 |
|
fix1695.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
fix1779.u
|
Fix a corner case in abilityCheck'
|
2021-02-17 15:50:33 -05:00 |
|
force.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
guard-boolean-operators.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
handler-stacking.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
hang.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
id.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
if.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
imports2.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
imports.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
inner-lambda1.u
|
Implement fix. There were lots of tests that were inadvertently relying on the bug.
|
2020-10-22 22:33:12 -04:00 |
|
inner-lambda2.u
|
Implement fix. There were lots of tests that were inadvertently relying on the bug.
|
2020-10-22 22:33:12 -04:00 |
|
io-state2.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
io-state3.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
keyword-parse.u
|
Update tests to use infix boolean operators and backtrack on failure
|
2019-10-20 14:16:33 +00:00 |
|
lambda-closing-over-effectful-fn.u
|
Implement fix. There were lots of tests that were inadvertently relying on the bug.
|
2020-10-22 22:33:12 -04:00 |
|
lambda-closing-over-effectful-fn.ur
|
fix issue in synthesizeApp where existentials were refined to pure function types, not allowing for possibility of effects
|
2019-04-04 13:25:58 -04:00 |
|
links.u
|
Added test case
|
2019-10-28 21:18:17 -04:00 |
|
links.ur
|
Added test case
|
2019-10-28 21:18:17 -04:00 |
|
map-traverse2.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
map-traverse.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
mergesort.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
multiple-effects.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
one-liners.uu
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -04:00 |
|
parenthesized-blocks.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
parenthesized-blocks.ur
|
when popping from the layout stack based on a closing token like ')' or '}', pop to the matching open token
|
2019-03-23 22:06:53 -04:00 |
|
pattern-match-seq.u
|
fix stray case .. of instances and opportunities for cases in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
pattern-match-seq.ur
|
fix #469
|
2019-04-26 16:43:16 -04:00 |
|
pattern-matching2.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
pattern-matching.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
pattern-matching.ur
|
update pretty-printer to use multi-guard syntax and improve tests
|
2021-07-20 00:45:03 -04:00 |
|
pattern-typing-bug.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
pattern-typing-bug.ur
|
complete previous fix
|
2019-03-07 12:15:44 -05:00 |
|
pattern-weirdness.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
pattern-weirdness.ur
|
add @francisdb-inspired pattern-matching issue test
|
2019-03-06 17:23:13 -05:00 |
|
quote-parse-bug.uu
|
unpending a bunch of tests
|
2019-03-08 12:56:02 -05:00 |
|
r0.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
r1.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
r2.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
r3.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
r4negate.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
r4x.u
|
fix stray case .. of instances and opportunities for cases in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
r5.u
|
Disallow floating point patterns, with an informative error
|
2021-08-05 18:00:50 -04:00 |
|
r6.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
r7.0.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
r7.1.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
r7.2.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
r8.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
r9.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
r10.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
r11.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
r12.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r13.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r14.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
rainbow.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
records.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
runtime-crash.uu
|
minimized failure
|
2019-03-25 14:30:19 -04:00 |
|
sequence-at-0.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
sequence-literal-argument-parsing.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
sequence-literal.u
|
fix #363 comma-first sequence notation
|
2019-03-11 12:01:41 +01:00 |
|
soe2.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
soe.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
spurious-ability-fail-underapply.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
spurious-ability-fail.u
|
fix rest of tests and unpending some more
|
2019-04-11 16:00:55 -04:00 |
|
state1.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
state1a.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
state2.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
state2a-min.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
state2a-min.ur
|
start on more methodical test file for runtime, going through all the cases
|
2019-03-05 14:54:19 -05:00 |
|
state2a.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
state2a.uu
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
state2b-min.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
state2b-min.ur
|
Added .ur files
|
2019-02-12 20:08:08 -05:00 |
|
state2b.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
state3.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
state4.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
state4.ur
|
Added .ur files
|
2019-02-12 20:08:08 -05:00 |
|
state4a.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
state4a.ur
|
fix incorrect pattern match bomb and add test case for it, down to just one failing test
|
2019-03-04 22:31:22 -05:00 |
|
stream2.uu
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
stream3.uu
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
stream.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
suffix-resolve.u
|
Implement fix. There were lots of tests that were inadvertently relying on the bug.
|
2020-10-22 22:33:12 -04:00 |
|
tdnr2.u
|
74 failures
|
2019-02-11 22:38:05 -05:00 |
|
tdnr3.u
|
74 failures
|
2019-02-11 22:38:05 -05:00 |
|
tdnr4.u
|
Added a test for TDNR with data constructors
|
2018-11-05 13:00:53 -05:00 |
|
tdnr.u
|
74 failures
|
2019-02-11 22:38:05 -05:00 |
|
text-escaping.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
text-escaping.ur
|
fix for #387
|
2019-03-14 11:13:34 -04:00 |
|
text-pattern.u
|
fix stray case .. of instances and opportunities for cases in unison-src
|
2020-02-21 17:05:18 -08:00 |
|
text-pattern.ur
|
added unison-src/tests/text-pattern.ur
|
2019-02-27 13:59:15 -05:00 |
|
tictactoe0-array-oob1.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
tictactoe0-npe.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
tictactoe0.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
tictactoe2.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
tictactoe.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
tuple.u
|
replace case .. of syntax with match .. with
|
2020-02-07 18:59:37 -08:00 |
|
tuple.ur
|
Added .ur files
|
2019-02-12 20:08:08 -05:00 |
|
type-application.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
underscore-parsing.u
|
Support underscores in function names.
|
2019-03-13 07:28:10 -04:00 |
|
ungeneralize-bug.uu
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
|
unique.u
|
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
|
2019-05-09 10:36:29 -04:00 |
|
void.u
|
fixes tests and transcripts
|
2021-08-24 11:33:27 -07:00 |
