|
|
65f537e46a
|
Copy code actions from old extension (until we have proper support)
|
2026-02-16 09:24:25 -08:00 |
|
|
|
d86c257426
|
Show user info messages in LSP, invalidate modules transitively on change
|
2026-02-16 09:22:49 -08:00 |
|
|
|
adff28ea0f
|
Remove some workarounds for record update issues
|
2026-02-15 21:51:16 -08:00 |
|
|
|
edbe1c326a
|
update bootstrap
|
2026-02-15 21:40:40 -08:00 |
|
|
|
3201139523
|
improvements to type checking of record updates
|
2026-02-15 21:38:44 -08:00 |
|
|
|
197e3525bf
|
improvements to LSP process on quiesce
|
2026-02-15 20:05:46 -08:00 |
|
|
|
24048eadf1
|
use string for module names
|
2026-02-13 10:18:28 -08:00 |
|
|
|
4ec199b064
|
persist errors in modules
|
2026-02-13 09:58:09 -08:00 |
|
|
|
dcf162684e
|
Drop module serializer
|
2026-02-13 09:57:01 -08:00 |
|
|
|
e08d201c24
|
Make adding primitives more robust
|
2026-02-13 09:26:02 -08:00 |
|
|
|
1ba332431a
|
Changes are coming in delayed
|
2026-02-13 09:14:42 -08:00 |
|
|
|
e1d83556ae
|
LSP jump to definition
|
2026-02-12 21:59:56 -08:00 |
|
|
|
ab33635642
|
update bootstrap
|
2026-02-12 21:31:32 -08:00 |
|
|
|
bf32e6a241
|
Debounce LSP processing
|
2026-02-12 21:30:37 -08:00 |
|
|
|
a9718621e3
|
Initial LSP implementation/vscode support
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-02-12 20:26:15 -08:00 |
|
|
|
01a05ba186
|
skip indented lines in add missing cases
|
2026-02-12 13:51:29 -08:00 |
|
|
|
6c4d01d4c4
|
check in import loop test, remove dead code/comment
|
2026-02-11 20:09:12 -08:00 |
|
|
|
ad4dce9d0e
|
Use List String for module name, add abstraction for loading files (prep for LSP)
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-02-11 19:53:59 -08:00 |
|
|
|
7048553906
|
cleanup/changes to vscode package.json
|
2026-02-11 17:26:45 -08:00 |
|
|
|
6a16dc6150
|
better name for metas
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-02-11 13:32:45 -08:00 |
|
|
|
eb9921212c
|
use record update for top
|
2026-02-11 13:32:09 -08:00 |
|
|
|
340457cab7
|
[ repl ] don't exit early on error
|
2026-02-09 11:04:05 -08:00 |
|
|
|
a17a9c4342
|
fix pipe issue in REPL, add ability to dump top in repl
|
2026-02-09 10:36:59 -08:00 |
|
|
|
08ed4178cf
|
Fix FC on imports - make empty bounds the identity
|
2026-02-09 10:16:56 -08:00 |
|
|
|
d36f6ddacb
|
Add missing import in vscode, fix add missing cases at EOF
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-02-07 22:25:18 -08:00 |
|
|
|
83e4adb45b
|
update bootstrap
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-02-07 16:57:23 -08:00 |
|
|
|
bca61f95a0
|
Improve error locations
|
2026-02-07 16:55:33 -08:00 |
|
|
|
d1729afea7
|
extension now names the file for external errors
|
2026-02-07 16:39:15 -08:00 |
|
|
|
2766a4ae01
|
Unsolved metas are errors
|
2026-02-07 16:26:07 -08:00 |
|
|
|
fca22a9828
|
update bootstrap
|
2026-02-07 11:05:30 -08:00 |
|
|
|
00296f4d10
|
Allow local names to override imports
|
2026-02-07 11:02:51 -08:00 |
|
|
|
0c206a94ab
|
Forward declaration syntax for data
Allow:
```newt
data Foo : U
```
as a forward declaration for data. (The `Foo : U` syntax still works for
now.)
|
2026-02-07 07:52:00 -08:00 |
|
|
|
79ab29f090
|
update bootstrap
|
2026-02-06 21:14:17 -08:00 |
|
|
|
9249c4c641
|
Invalidate on :load
|
2026-02-04 20:56:58 -08:00 |
|
|
|
d803af10aa
|
Add Foldable class
|
2026-01-31 16:29:16 -08:00 |
|
|
|
c3e70c9ecc
|
operator sections
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-01-31 13:21:23 -08:00 |
|
|
|
eed5c09508
|
Minor changes
|
2026-01-31 12:52:01 -08:00 |
|
|
|
f3a18fa658
|
Fix stray skolem issue
Sometimes a Bound variable on the LHS became Defined to itself.
This commit also resurfaces INFO messages, to aid finding the root
cause of errors.
|
2026-01-31 12:49:39 -08:00 |
|
|
|
56821c1711
|
Add some stray files
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-01-23 12:00:00 -08:00 |
|
|
|
84c4008724
|
check in test from dependent record fix
|
2026-01-23 08:53:49 -08:00 |
|
|
|
3dd9955533
|
Postpone non-linear solutions
|
2026-01-23 08:49:30 -08:00 |
|
|
|
b32f345f55
|
aoc2025 test script
|
2026-01-20 17:39:05 -08:00 |
|
|
|
b653a37d2c
|
update bootstrap file
|
2026-01-18 22:04:24 -08:00 |
|
|
|
43401156eb
|
Fix error in parser combinator
|
2026-01-18 22:03:34 -08:00 |
|
|
|
28a0d461f1
|
temporary favicon
|
2026-01-16 20:10:46 -08:00 |
|
|
|
f19a758d25
|
TODO.md updates
|
2026-01-16 10:40:04 -08:00 |
|
|
|
77a052ca98
|
remove unused fatal flag in parser
|
2026-01-16 10:39:31 -08:00 |
|
|
|
a21dd2fd94
|
fix issue with try in parser, improve parse error message
|
2026-01-16 10:30:41 -08:00 |
|
|
|
997adfd04c
|
handle icons differently in playground
|
2026-01-11 09:37:58 -08:00 |
|
|
|
e80f0e2ba7
|
github icon in playground
|
2026-01-10 20:27:53 -08:00 |
|
