Chris Penner
1a593388cf
Add transcript and update existing
2024-08-30 10:49:40 -07:00
Chris Penner
e38eebb7d3
Detect missing 'do' and provide a hint
2024-08-30 10:49:38 -07:00
Chris Penner
108ed55ac2
Use similar leaf-node logic on other mismatches
2024-08-30 09:35:58 -07:00
Chris Penner
83ed1ada5c
Ormolu
2024-08-30 09:35:58 -07:00
Chris Penner
897ac5a9fa
Ormolu
2024-08-30 09:35:58 -07:00
Chris Penner
780c91d370
Fix Diagnostic tests
2024-08-30 09:35:58 -07:00
Chris Penner
31904863aa
Rewrite test helpers to support multiple diagnostic ranges
2024-08-30 09:35:58 -07:00
Chris Penner
6f9bda9528
Improve error LSP ranges on type mismatches
2024-08-30 09:35:58 -07: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
Arya Irani
e82b649072
Merge pull request #5276 from unisonweb/type-name-resolution-change
...
bugfix: don't prefer the unison file for name suffixes
2024-08-29 09:26:38 -04:00
Mitchell Rosen
a783bf3a06
fix import
2024-08-27 19:52:37 -04:00
Mitchell Rosen
217cf13530
add missing record fields
2024-08-27 19:48:42 -04:00
Mitchell Rosen
2354c90c9b
delete unused import
2024-08-27 19:34:25 -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
Mitchell Rosen
267262311c
fix a couple more warnings
2024-08-27 17:10:14 -04:00
Mitchell Rosen
9346865a30
fix warning in test file
2024-08-27 16:54:11 -04:00
Mitchell Rosen
2942ed62fe
fix handling of namespace blocks in term parser
2024-08-27 15:09:18 -04:00
SimaDovakin
3b2a25eff6
Merged trunk branch and resolved conflicts.
2024-08-27 10:53:23 +03:00
SimaDovakin
79c877b341
Added new contributor.
2024-08-27 10:50:24 +03:00
Mitchell Rosen
0bed3fcc7f
delete commented-out code
2024-08-26 13:54:10 -04:00
Mitchell Rosen
7d7df0e90c
⅄ term-name-resolution-change → type-name-resolution-change
2024-08-26 13:52:41 -04:00
Mitchell Rosen
989265816e
⅄ trunk → term-name-resolution-change
2024-08-26 13:50:39 -04:00
Mitchell Rosen
a0662ff81b
⅄ trunk → type-name-resolution-change
2024-08-26 13:50:25 -04:00
Mitchell Rosen
38c148272f
fix missing record field
2024-08-26 13:49:43 -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
Arya Irani
6299fc3eb4
Merge pull request #5299 from unisonweb/cp/kill-config
...
Kill Configurator
2024-08-26 13:44:37 -04:00
Mitchell Rosen
bbb04d9da2
get the transcripts passing (but a couple are still broken)
2024-08-26 13:37:19 -04:00
Chris Penner
2e71dff47d
Kill Configurator and Unison Config
2024-08-25 15:21:27 -07: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
Rúnar
eefacbf48b
Remove comments
2024-08-23 15:51:26 -04:00
Mitchell Rosen
7cb62a2856
delete now-unused UnknownAbilityConstructor/UnknownDataConstructor errors
2024-08-23 12:20:25 -04:00
Mitchell Rosen
82d012fdb1
emit a proper resolution result for constructors
2024-08-23 12:08:22 -04:00
Paul Chiusano
a1e188b061
Merge pull request #5291 from sellout/fix-dev-ui-install
...
Fix dev-ui-install.sh
2024-08-23 08:48:46 -05:00
Paul Chiusano
120765330b
Merge pull request #5297 from sellout/impossible-in-lexer
...
Turn a possible “impossible” into a parse failure
2024-08-23 08:47:22 -05:00
Paul Chiusano
7178ec2266
Merge pull request #5298 from sellout/empty-match
...
Support pattern matching on empty types
2024-08-23 08:46:46 -05: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
Greg Pfeil
a025454783
Turn a possible “impossible” into a parse failure
...
From #5179 , there’s a case where we hit an `error "impossible"`, which
doesn’t provide much context. This turns it into a parse failure, so we
have #thte state of the lexer when this happens again. It also adds a
comment that describes when this “impossible” case gets hit.
2024-08-22 15:30:56 -06:00
Mitchell Rosen
f03f784ed8
show type suggestions for holes again
2024-08-22 13:40:53 -04:00
Mitchell Rosen
677e989730
⅄ trunk → term-name-resolution-change
2024-08-22 13:24:07 -04:00
Mitchell Rosen
f9113108c8
get ambiguous term error message properly suffixifying names
2024-08-22 13:12:42 -04:00
SimaDovakin
46672dfe0d
Added symbol class for consistency.
2024-08-22 17:12:11 +03:00
SimaDovakin
3ce567525e
Fixed vim syntax highlight for numbers' binary notation.
2024-08-22 16:30:42 +03:00
SimaDovakin
df14641265
Added vim syntax highlight for the numbers' binary notation.
2024-08-22 16:24:21 +03:00
SimaDovakin
d474cf83a5
Edited heading in transcripts for testing syntax error of the invalid binary chars.
2024-08-22 16:19:12 +03:00
Mitchell Rosen
4c6139ae7d
term name resolution tweak: don't prefer names from the file over names from the namespace
2024-08-21 15:01:51 -04:00
