Paul Chiusano
5af15343c2
Merge pull request #5333 from unisonweb/topic/jit-trace
...
Various fixes that enable running cloud on the JIT
2024-09-09 15:23:04 -05:00
Dan Doel
a70e39a0f3
Transcript changes
2024-09-06 15:36:38 -04:00
Dan Doel
a6fa347b83
Bump @unison/internal version
2024-09-06 15:31:42 -04:00
Mitchell Rosen
c118fa3ca6
put dependents and conflicts in the namespace on a merge branch
2024-09-05 15:01:23 -04:00
Mitchell Rosen
36ea0bb481
add failing transcript
2024-09-05 10:44:48 -04:00
Mitchell Rosen
728f1b94b4
fix LCA query
2024-09-04 11:28:59 -04:00
Mitchell Rosen
ef02077989
add failing transcript
2024-09-04 11:26:21 -04:00
Arya Irani
b08cbb02a6
Merge pull request #5324 from unisonweb/fix-5323
...
bugfix: fix suffixification logic in upgrade
2024-09-03 14:00:32 -04:00
Mitchell Rosen
e6b8ccd3c5
add explanations to transcripts
2024-09-03 13:10:55 -04:00
Arya Irani
3202e618b4
Merge pull request #5300 from unisonweb/travis/kind-inference-fix
...
Fixes #5293 : Generate IsAbility constraint for ability sets
2024-09-03 11:50:53 -04:00
Arya Irani
6c9495c845
update tests
2024-09-03 11:10:00 -04:00
Mitchell Rosen
20b67e636c
fix upgrade ppe
2024-09-03 10:08:12 -04:00
Mitchell Rosen
4e1a30937b
add transcript that demonstrates #5323
2024-09-03 09:59:36 -04:00
Mitchell Rosen
1b741a2586
make term parser consider lower.Upper a constructor pattern
2024-09-01 11:52:18 -04:00
Mitchell Rosen
3d3d35b01f
add transcript that demonstrates the issue
2024-09-01 11:50:40 -04:00
Mitchell Rosen
e9c2d4957c
fix suffixification logic in update
2024-08-30 14:40:13 -04:00
Mitchell Rosen
66d70b34b1
add transcript that demonstrates 5276
2024-08-30 14:39:17 -04:00
Mitchell Rosen
64a0ce0b2c
restore pattern match coverage test that accidentally wasn't testing the right thing before
2024-08-29 14:12:25 -04:00
Mitchell Rosen
66afce3205
⅄ trunk → 24-08-27-parser-fix
2024-08-29 14:07:17 -04:00
Arya Irani
b6e12d086c
Merge pull request #5292 from sellout/delayed-int-roundtrip
...
Add a transcript to show that #4711 has been fixed
2024-08-29 10:16:42 -04:00
Arya Irani
d3d3dbba71
Merge pull request #5294 from SimaDovakin/numbers-binary-notation
...
Numbers binary notation
2024-08-29 10:15:37 -04:00
Mitchell Rosen
5e456c9dad
fix 5301
2024-08-28 14:10:22 -04:00
Mitchell Rosen
24a6c9b3ea
clean some code up and fix pattern-match-coverage.md
2024-08-27 19:29:29 -04:00
Mitchell Rosen
01d3454508
revert a couple now-unnecessary changes
2024-08-27 18:03:14 -04:00
Mitchell Rosen
6dd0fead5a
fix namespace directive + type link case
2024-08-27 17:26:40 -04:00
SimaDovakin
3b2a25eff6
Merged trunk branch and resolved conflicts.
2024-08-27 10:53:23 +03:00
Mitchell Rosen
989265816e
⅄ trunk → term-name-resolution-change
2024-08-26 13:50:39 -04:00
Mitchell Rosen
af8315e789
restore better error messages from type checker, not parser, on term out-of-scope
2024-08-26 13:45:46 -04:00
Mitchell Rosen
bbb04d9da2
get the transcripts passing (but a couple are still broken)
2024-08-26 13:37:19 -04:00
Rúnar
e9ca76f651
Merge pull request #5273 from unisonweb/precedence
...
Add infix operator precedence rules
2024-08-23 21:21:13 -04:00
Rúnar
8a70414fdf
More parens around do blocks
2024-08-23 19:17:24 -04:00
Greg Pfeil
1132a6b4bd
Support pattern matching on empty types
...
Previously, `match` and `cases` expressions needed to have at least one
pattern to match on. This allows them to work with zero patterns, which
is useful for matching on empty types.
Since `EmptyMatch` is no longer a failure case, errors that previously
said “I expected some patterns after a match / with or cases but I
didn't find any,” now say “Pattern match doesn't cover all possible
cases”.
Fixes #4731 .
2024-08-22 23:30:02 -06:00
Greg Pfeil
a1ba98e38a
Add a transcript to test empty match
...
It currently fails.
2024-08-22 23:24:50 -06:00
Mitchell Rosen
f9113108c8
get ambiguous term error message properly suffixifying names
2024-08-22 13:12:42 -04:00
SimaDovakin
d474cf83a5
Edited heading in transcripts for testing syntax error of the invalid binary chars.
2024-08-22 16:19:12 +03:00
SimaDovakin
035e800a2a
Added support of the binary notation for Nat and Int.
2024-08-21 18:29:54 +03:00
Greg Pfeil
cc80583f2f
Add a transcript to show that #4711 has been fixed
...
Closes #4711 .
2024-08-20 17:05:00 -06:00
Rúnar
da75484dd2
Merge branch 'trunk' of https://github.com/unisonweb/unison into precedence
2024-08-20 14:44:53 -04:00
Rúnar
3e40cb174f
Add roundtrip tests
2024-08-20 08:47:17 -04:00
Rúnar
f48880ff42
More parens for do blocks
2024-08-20 08:29:53 -04:00
Mitchell Rosen
035fe0a585
⅄ trunk → type-name-resolution-change
2024-08-19 16:08:21 -04:00
Arya Irani
e388786b48
Merge pull request #5282 from sellout/fix-blank-identifiers
...
Change handling of “blank” identifiers
2024-08-18 17:06:22 -04:00
Rúnar
3e896408e9
transcripts
2024-08-17 22:03:57 -04:00
Rúnar
29981373ee
Transcripts
2024-08-17 22:02:41 -04:00
Mitchell Rosen
df2c76aa42
rerun generic-parse-errors transcript
2024-08-16 15:25:59 -04:00
Mitchell Rosen
7b3b65f55e
implement namespace directive
2024-08-16 15:06:34 -04:00
Greg Pfeil
ebda5ae6e3
Change handling of “blank” identifiers
...
Previously, they were tokenized separately from other identifiers, but
then most handling checked both tokens anyway. This now always parses
“blanks” as normal identifiers and checks their blankness at the few
places we care about it.
There were two places that treated `Blank` differently than `WordyId`,
and those are preserved. There were also two places where `Blank ""`
(`_`) was treated differently than `Blank n` (`_withSomeSuffix`), and
those have been eliminated.
Fixes #2822 .
2024-08-16 08:27:36 -06:00
Greg Pfeil
50429143d1
Add a failing transcript for #2822
2024-08-15 18:48:23 -06:00
Mitchell Rosen
28543adcdd
reuse unique type guids in merge after all
2024-08-13 12:46:42 -04:00
Arya Irani
ed555a3ea1
Merge branch 'trunk' into 24-08-01-merge-api
2024-08-13 10:50:02 -04:00
