| .. |
|
methodical
|
Merge pull request #434 from billy1kaplan/issue-427
|
2019-04-03 15:38:06 -04:00 |
|
344.uu
|
whoops
|
2019-04-16 17:25:33 -04:00 |
|
a-tale-of-two-optionals.u
|
unpending a bunch of tests
|
2019-03-08 12:56:02 -05:00 |
|
ability-inference-fail.uu
|
pending test
|
2019-03-25 10:01:52 -04:00 |
|
ability-keyword.u
|
debugging one of the tests... why aren't ctor arities being written out?
|
2019-02-11 17:29:24 -05:00 |
|
abort.u
|
74 failures
|
2019-02-11 22:38:05 -05:00 |
|
ask-inferred.u
|
74 failures
|
2019-02-11 22:38:05 -05: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
|
restore old names for builtins and update tests that were relying on TDNR for ==
|
2019-03-17 20:05:44 -04:00 |
|
cce.u
|
Bytes type
|
2019-03-19 13:59:06 -04: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
|
unpending a bunch of tests
|
2019-03-08 12:56:02 -05:00 |
|
console.u
|
Fixed up tests
|
2019-02-12 14:10:33 -05:00 |
|
data-references-builtins.u
|
Fixed up tests
|
2019-02-12 14:10:33 -05:00 |
|
delay_parse.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
delay.u
|
Fixed up tests
|
2019-02-12 14:10:33 -05:00 |
|
effect1.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
effect-instantiation2.u
|
cleanup trace statements
|
2019-04-04 13:59:12 -04:00 |
|
effect-instantiation.u
|
Fixed up tests
|
2019-02-12 14:10:33 -05:00 |
|
empty-above-the-fold.uu
|
make test pending
|
2019-03-08 12:58:33 -05:00 |
|
fib4.ur
|
Added .ur files
|
2019-02-12 20:08:08 -05:00 |
|
force.u
|
Fixed up tests
|
2019-02-12 14:10:33 -05:00 |
|
hang.u
|
Bytes type
|
2019-03-19 13:59:06 -04:00 |
|
id.u
|
Fixed serialization of lambdas
|
2018-11-06 16:06:32 -05:00 |
|
if.u
|
Fixed up tests
|
2019-02-12 14:10:33 -05:00 |
|
imports2.u
|
unpending a bunch of tests
|
2019-03-08 12:56:02 -05:00 |
|
imports.u
|
Fixed up tests
|
2019-02-12 14:10:33 -05:00 |
|
inner-lambda1.u
|
add one non-pending test and one pending test
|
2019-04-04 14:18:43 -04:00 |
|
inner-lambda2.uu
|
add one non-pending test and one pending test
|
2019-04-04 14:18:43 -04:00 |
|
io-state2.u
|
CamelCase all the things
|
2019-02-21 14:49:12 -05:00 |
|
io-state3.u
|
CamelCase all the things
|
2019-02-21 14:49:12 -05:00 |
|
keyword-parse.u
|
15 failures
|
2019-02-12 11:21:25 -05:00 |
|
lambda-closing-over-effectful-fn.u
|
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 |
|
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 |
|
language-reference.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
map-traverse2.u
|
CamelCase all the things
|
2019-02-21 14:49:12 -05:00 |
|
map-traverse.u
|
CamelCase all the things
|
2019-02-21 14:49:12 -05:00 |
|
mergesort.u
|
Universal.{compare, <, >, <=, >=}
|
2019-03-18 13:42:53 -04:00 |
|
multiple-effects.u
|
Print curly braces in effects properly.
|
2019-03-13 20:58:23 -04:00 |
|
one-liners.uu
|
rename UInt64 to Nat
|
2018-09-24 13:15:40 -04:00 |
|
parenthesized-blocks.u
|
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 |
|
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-matching2.u
|
unpending a bunch of tests
|
2019-03-08 12:56:02 -05:00 |
|
pattern-matching.u
|
15 failures
|
2019-02-12 11:21:25 -05:00 |
|
pattern-typing-bug.u
|
complete previous fix
|
2019-03-07 12:15:44 -05:00 |
|
pattern-typing-bug.ur
|
complete previous fix
|
2019-03-07 12:15:44 -05:00 |
|
pattern-weirdness.u
|
add @francisdb-inspired pattern-matching issue test
|
2019-03-06 17:23:13 -05: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
|
15 failures
|
2019-02-12 11:21:25 -05:00 |
|
r1.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r2.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r3.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r4negate.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r4x.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r5.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r6.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r7.0.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r7.1.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r7.2.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r8.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r9.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r10.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
r11.u
|
restore old names for builtins and update tests that were relying on TDNR for ==
|
2019-03-17 20:05:44 -04: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 |
|
runtime-crash.uu
|
minimized failure
|
2019-03-25 14:30:19 -04:00 |
|
sequence-at-0.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
sequence-literal.u
|
fix #363 comma-first sequence notation
|
2019-03-11 12:01:41 +01:00 |
|
soe2.u
|
Universal.{compare, <, >, <=, >=}
|
2019-03-18 13:42:53 -04:00 |
|
soe.u
|
Bytes type
|
2019-03-19 13:59:06 -04:00 |
|
spurious-ability-fail-underapply.uu
|
add pending test for underapply ability check failure
|
2019-03-21 23:03:34 -04:00 |
|
spurious-ability-fail.uu
|
CamelCase all the things
|
2019-02-21 14:49:12 -05:00 |
|
state1.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
state1a.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
state2.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
state2a-min.u
|
start on more methodical test file for runtime, going through all the cases
|
2019-03-05 14:54:19 -05: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
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
state2b-min.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
state2b-min.ur
|
Added .ur files
|
2019-02-12 20:08:08 -05:00 |
|
state2b.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
state3.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
state4.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
state4.ur
|
Added .ur files
|
2019-02-12 20:08:08 -05:00 |
|
state4a.u
|
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 |
|
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 |
|
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
|
fix for #387
|
2019-03-14 11:13:34 -04:00 |
|
text-escaping.ur
|
fix for #387
|
2019-03-14 11:13:34 -04:00 |
|
text-pattern.u
|
added unison-src/tests/text-pattern.ur
|
2019-02-27 13:59:15 -05:00 |
|
text-pattern.ur
|
added unison-src/tests/text-pattern.ur
|
2019-02-27 13:59:15 -05:00 |
|
tictactoe0-array-oob1.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
tictactoe0-npe.u
|
74 failures
|
2019-02-11 22:38:05 -05:00 |
|
tictactoe0.u
|
improved error message for case blah <unindent> of
|
2019-02-12 10:54:18 -05:00 |
|
tictactoe2.u
|
74 failures
|
2019-02-11 22:38:05 -05:00 |
|
tictactoe.u
|
down to 18 failures
|
2019-02-12 11:15:46 -05:00 |
|
tuple.u
|
Added .ur files
|
2019-02-12 20:08:08 -05:00 |
|
tuple.ur
|
Added .ur files
|
2019-02-12 20:08:08 -05:00 |
|
type-application.u
|
Allow type application to contain {ability1, ability2} lists in non-head position, for example: Location {Remote, IO}
|
2019-02-12 09:16:18 -05:00 |
|
underscore-parsing.u
|
Support underscores in function names.
|
2019-03-13 07:28:10 -04:00 |
|
ungeneralize-bug.uu
|
add pending test
|
2018-10-02 13:53:45 -04:00 |
|
void.u
|
improved error message for case blah <unindent> of
|
2019-02-12 10:54:18 -05:00 |
