Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• e2dfe4ec04 fixes to eval main Steve Dunham 2026-03-28 16:16:06 -07:00
• 697c5f2641 fix updating of javascript/scheme in playground Steve Dunham 2026-03-28 09:36:05 -07:00
• babbd01975 Fix LSP crash and tokenizer issue Steve Dunham 2026-03-27 20:21:57 -07:00
• c014233987 debug lsp crashes Steve Dunham 2026-03-27 20:20:08 -07:00
• aa6604038b cleanup Steve Dunham 2026-03-27 20:19:27 -07:00
• a40956a4cc fix names growing in liftWhere and redundant error for ErrorHole Steve Dunham 2026-03-21 20:45:28 -07:00
• c6835b9dfe scheme types need not store their indices Steve Dunham 2026-03-21 16:26:32 -07:00
• 9b8a7953dd fixes to scheme in playground Steve Dunham 2026-03-21 11:54:14 -07:00
• f5a9aae070 also show scheme code in web playground Steve Dunham 2026-03-21 11:39:29 -07:00
• 9652903df1 enable tests on scheme, fix error handling on scheme Steve Dunham 2026-03-21 09:28:24 -07:00
• da1f2705ee Remove erased function args in scheme Steve Dunham 2026-03-21 08:25:00 -07:00
• f3f9d737cf also drop singleton cases for lit / default Steve Dunham 2026-03-19 22:08:23 -07:00
• cfdddbb002 cons/nil for pair/unit in scheme backend Steve Dunham 2026-03-18 17:28:58 -07:00
• 5eb43f6252 Cons/Nil optimization for scheme backend Steve Dunham 2026-03-18 17:07:48 -07:00
• 4ce5d470ba streamline generated code a little Steve Dunham 2026-03-16 21:56:03 -07:00
• fe96f46534 First pass at a scheme backend Steve Dunham 2026-03-16 17:03:33 -07:00
• 92ced8dcd2 LSP document symbols Steve Dunham 2026-03-07 21:33:12 -08:00
• 90e36d8faf Remove some ambiguities in parsing Steve Dunham 2026-03-06 21:41:26 -08:00
• b1c2bfc896 Add Functor Either a Steve Dunham 2026-03-04 19:09:32 -08:00
• c26b283899 try CI on tangled.org Steve Dunham 2026-02-28 22:07:08 -08:00
• ea7ba4ea40 fixes for Linux nvim support Steve Dunham 2026-02-27 21:53:56 -08:00
• 2075f2dfc3 update bootstrap Steve Dunham 2026-02-27 20:46:31 -08:00
• 0d974dd42d fix parse issue for typed lamda arguments Steve Dunham 2026-02-27 20:45:01 -08:00
• 7a763bf40a Looping TCO for singleton components Steve Dunham 2026-02-26 22:14:25 -08:00
• c4ff0c7c8c playground build issues Steve Dunham 2026-02-25 21:42:31 -08:00
• c6d6c8df7e todo list updates Steve Dunham 2026-02-25 20:39:19 -08:00
• d5b5ee8265 Wire web playground to LSP code Steve Dunham 2026-02-25 19:41:57 -08:00
• f3b8b1b7b5 lsp config for nvim Steve Dunham 2026-02-25 19:23:11 -08:00
• 4c5cd4dec0 continue after import error, fix error order Steve Dunham 2026-02-24 22:25:16 -08:00
• 6e7e123847 intro now adds parens when needed Steve Dunham 2026-02-24 21:55:51 -08:00
• c15f22a180 Use deriving Steve Dunham 2026-02-24 21:15:41 -08:00
• 79ed4bf2c2 update bootstrap Steve Dunham 2026-02-24 20:05:52 -08:00
• 983dde4de2 derive Show and Eq, improvements to LSP Steve Dunham 2026-02-24 20:01:58 -08:00
• a789cffcce move Error to its own file Steve Dunham 2026-02-24 11:04:38 -08:00
• 90e4bba766 Jump to source for imports Steve Dunham 2026-02-24 10:28:59 -08:00
• ccdb15c6ec import action for out of scope names, start introducing error types Steve Dunham 2026-02-24 09:33:53 -08:00
• 134c9f11db Skip indented rows when adding case Steve Dunham 2026-02-23 21:28:42 -08:00
• 69a7b6bed8 Fix LSP slowness, improve error messages Steve Dunham 2026-02-23 20:48:25 -08:00
• 3cc3801f4d Add "intro" to LSP, improve error locations Steve Dunham 2026-02-23 13:16:06 -08:00
• 673c79b786 fix aoc2025 tests, consider greek when determining uppercase Steve Dunham 2026-02-21 21:41:22 -08:00
• 34744a8edc refactor TopContext to use a ModContext for the current context Steve Dunham 2026-02-21 21:27:54 -08:00
• 0a5ad3cc9b Switch to esm, add #export statement to newt, tweaks to LSP Steve Dunham 2026-02-21 15:08:15 -08:00
• c54b856f0b Don't allow uppercase pattern variables Steve Dunham 2026-02-20 16:12:54 -08:00
• 7d5789147d cleanup Steve Dunham 2026-02-20 14:29:28 -08:00
• 32400bdd4e slight performance tweak Steve Dunham 2026-02-18 21:45:26 -08:00
• c1f959be38 update a couple of playground files Steve Dunham 2026-02-18 21:39:51 -08:00
• 2b72521fd6 teach case split about operators Steve Dunham 2026-02-18 10:40:23 -08:00
• 587b2c4a60 Change FC end column to be one past the end Steve Dunham 2026-02-18 10:39:56 -08:00
• cd31156404 add missing and case split for lsp Steve Dunham 2026-02-17 22:01:58 -08:00
• fa0eb3a26d Better location on an error Steve Dunham 2026-02-16 21:46:49 -08:00
• 7f2fa27aa6 cleanup Steve Dunham 2026-02-16 11:59:34 -08:00
• 95f43e0c9b Hover was repeatedly compiling modules in some cases Steve Dunham 2026-02-16 10:01:44 -08:00
• 65f537e46a Copy code actions from old extension (until we have proper support) Steve Dunham 2026-02-16 09:24:25 -08:00
• d86c257426 Show user info messages in LSP, invalidate modules transitively on change Steve Dunham 2026-02-16 09:22:49 -08:00
• adff28ea0f Remove some workarounds for record update issues Steve Dunham 2026-02-15 21:51:16 -08:00
• edbe1c326a update bootstrap Steve Dunham 2026-02-15 21:40:40 -08:00
• 3201139523 improvements to type checking of record updates Steve Dunham 2026-02-15 21:38:44 -08:00
• 197e3525bf improvements to LSP process on quiesce Steve Dunham 2026-02-15 20:05:46 -08:00
• 24048eadf1 use string for module names Steve Dunham 2026-02-13 10:18:28 -08:00
• 4ec199b064 persist errors in modules Steve Dunham 2026-02-13 09:58:09 -08:00
• dcf162684e Drop module serializer Steve Dunham 2026-02-13 09:28:42 -08:00
• e08d201c24 Make adding primitives more robust Steve Dunham 2026-02-13 09:26:02 -08:00
• 1ba332431a Changes are coming in delayed Steve Dunham 2026-02-13 09:14:42 -08:00
• e1d83556ae LSP jump to definition Steve Dunham 2026-02-12 21:59:56 -08:00
• ab33635642 update bootstrap Steve Dunham 2026-02-12 21:31:32 -08:00
• bf32e6a241 Debounce LSP processing Steve Dunham 2026-02-12 21:30:37 -08:00
• a9718621e3 Initial LSP implementation/vscode support Steve Dunham 2026-02-12 20:14:14 -08:00
• 01a05ba186 skip indented lines in add missing cases Steve Dunham 2026-02-12 13:51:29 -08:00
• 6c4d01d4c4 check in import loop test, remove dead code/comment Steve Dunham 2026-02-11 20:09:12 -08:00
• ad4dce9d0e Use List String for module name, add abstraction for loading files (prep for LSP) Steve Dunham 2026-02-11 19:46:04 -08:00
• 7048553906 cleanup/changes to vscode package.json Steve Dunham 2026-02-11 17:26:45 -08:00
• 6a16dc6150 better name for metas Steve Dunham 2026-02-11 13:32:45 -08:00
• eb9921212c use record update for top Steve Dunham 2026-02-11 13:32:09 -08:00
• 340457cab7 [ repl ] don't exit early on error Steve Dunham 2026-02-09 11:03:50 -08:00
• a17a9c4342 fix pipe issue in REPL, add ability to dump top in repl Steve Dunham 2026-02-09 10:36:59 -08:00
• 08ed4178cf Fix FC on imports - make empty bounds the identity Steve Dunham 2026-02-09 10:16:56 -08:00
• d36f6ddacb Add missing import in vscode, fix add missing cases at EOF Steve Dunham 2026-02-07 22:23:45 -08:00
• 83e4adb45b update bootstrap Steve Dunham 2026-02-07 16:57:23 -08:00
• bca61f95a0 Improve error locations Steve Dunham 2026-02-07 16:55:33 -08:00
• d1729afea7 extension now names the file for external errors Steve Dunham 2026-02-07 16:36:30 -08:00
• 2766a4ae01 Unsolved metas are errors Steve Dunham 2026-02-07 16:19:03 -08:00
• fca22a9828 update bootstrap Steve Dunham 2026-02-07 11:05:30 -08:00
• 00296f4d10 Allow local names to override imports Steve Dunham 2026-02-07 11:02:51 -08:00
• 0c206a94ab Forward declaration syntax for data Steve Dunham 2026-02-07 07:52:00 -08:00
• 79ab29f090 update bootstrap Steve Dunham 2026-02-06 21:14:17 -08:00
• 9249c4c641 Invalidate on :load Steve Dunham 2026-02-04 20:56:58 -08:00
• d803af10aa Add Foldable class Steve Dunham 2026-01-31 16:29:16 -08:00
• c3e70c9ecc operator sections Steve Dunham 2026-01-31 13:21:23 -08:00
• eed5c09508 Minor changes Steve Dunham 2026-01-31 12:52:01 -08:00
• f3a18fa658 Fix stray skolem issue Steve Dunham 2026-01-31 12:37:26 -08:00
• 56821c1711 Add some stray files Steve Dunham 2026-01-23 12:00:00 -08:00
• 84c4008724 check in test from dependent record fix Steve Dunham 2026-01-23 08:53:49 -08:00
• 3dd9955533 Postpone non-linear solutions Steve Dunham 2026-01-23 08:49:30 -08:00
• b32f345f55 aoc2025 test script Steve Dunham 2026-01-20 17:39:05 -08:00
• b653a37d2c update bootstrap file Steve Dunham 2026-01-18 22:04:24 -08:00
• 43401156eb Fix error in parser combinator Steve Dunham 2026-01-18 22:03:34 -08:00
• 28a0d461f1 temporary favicon Steve Dunham 2026-01-16 20:10:46 -08:00
• f19a758d25 TODO.md updates Steve Dunham 2026-01-16 10:40:04 -08:00
• 77a052ca98 remove unused fatal flag in parser Steve Dunham 2026-01-16 10:39:31 -08:00
• a21dd2fd94 fix issue with try in parser, improve parse error message Steve Dunham 2026-01-16 10:30:41 -08:00