Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• bcf34c0941 [ auto ] try autos if a meta in their type is solved Steve Dunham 2025-07-27 14:50:37 -07:00
• ff23deb825 [ fix ] error messages mangled by Idris to Newt translation Steve Dunham 2025-07-27 14:29:14 -07:00
• a79f92793b [ fix ] solve autos in data declarations Steve Dunham 2025-07-26 08:09:46 -07:00
• 0e110cd14f [ unify ] unify literals correctly Steve Dunham 2025-07-26 07:24:38 -07:00
• 2d53976602 [ cleanup ] dead code Steve Dunham 2025-07-26 07:23:48 -07:00
• 1bdac27097 [ codegen ] PiType no longer hard-coded JS Steve Dunham 2025-07-26 07:23:16 -07:00
• 43c06e7377 [ cleanup ] consistent arrows in prelude Steve Dunham 2025-07-26 07:20:09 -07:00
• bfaaec867e [ play ] improvements to unicode completion Steve Dunham 2025-07-26 07:17:31 -07:00
• 8386331752 playground improvements Steve Dunham 2025-07-24 20:11:45 -07:00
• 800cec28de cleanup Steve Dunham 2025-07-18 20:47:45 -04:00
• bb2ae861b3 Playground enhancements Steve Dunham 2025-07-15 19:58:58 -04:00
• 3289c95e6a remove dead files, update bootstrap Steve Dunham 2025-07-10 22:28:20 -04:00
• 8569c9c304 improvements to editors Steve Dunham 2025-07-10 21:35:48 -04:00
• 9bd9ab21b6 fix env (should have used an index...) Steve Dunham 2025-07-10 13:43:57 -04:00
• cee1519b8e Improvements to playground editor Steve Dunham 2025-06-27 21:31:35 -07:00
• 5743eb39ea Fix some strings that were messed up by the initial Idris -> Newt perl code Steve Dunham 2025-06-27 21:29:12 -07:00
• 67d1e54ffb Seperate CAppRef constructor for top level apps Steve Dunham 2025-06-24 20:59:36 -07:00
• a3137319bb remove lezer code Steve Dunham 2025-06-17 18:14:00 -07:00
• 64652edf4b remove monaco, add input method to codemirror Steve Dunham 2025-06-17 17:32:12 -07:00
• e167d7e629 switch to codemirror Steve Dunham 2025-06-17 11:48:01 -07:00
• ab276ca992 TODO updates, remove unused file Steve Dunham 2025-06-03 20:54:29 -07:00
• 8dae8880f9 Remove unnecessary IORef for meta context Steve Dunham 2025-05-20 21:36:52 -07:00
• cae4368cd9 misc cleanup Steve Dunham 2025-04-22 20:30:29 -07:00
• 8faecfdf9b record update syntax Steve Dunham 2025-04-19 16:15:34 -07:00
• d6156ebc79 Fix aoc2024 build Steve Dunham 2025-04-10 08:50:52 -04:00
• 0ce1a5e454 Magic Nat Steve Dunham 2025-04-09 12:59:02 -04:00
• c51d368e90 primop in compiler Steve Dunham 2025-04-07 14:29:55 -07:00
• eeb790f1b2 Keep track of autos to be solved, shaves about 12% off of Elab.newt processing time Steve Dunham 2025-04-05 21:25:53 -07:00
• 549cca19e3 Add flags to TopEntry, detect duplicate constructors, fix issue with missing constructors in CompileExp. Steve Dunham 2025-04-05 14:31:00 -07:00
• 2a042c0092 update modules Steve Dunham 2025-04-05 10:33:47 -07:00
• 590f344516 use our own input method in vscode Steve Dunham 2025-04-05 10:31:32 -07:00
• 8c983dd571 fix definition provider Steve Dunham 2025-04-05 10:12:48 -07:00
• 0477ee397f encode enum as string Steve Dunham 2025-03-31 22:52:58 -07:00
• f006fa875d Classify constructors, only dump modules if they successfully compile Steve Dunham 2025-03-31 21:21:37 -07:00
• 654e5cdb25 split processDecl into separate functions Steve Dunham 2025-03-30 11:00:55 -07:00
• 4ec7519955 remove unused case in TCO output Steve Dunham 2025-03-30 09:39:09 -07:00
• 7dc9751359 Use serialized modules Steve Dunham 2025-03-22 17:20:53 -07:00
• 067090fb33 Drop idris/bun from CI Steve Dunham 2025-03-17 18:58:11 -07:00
• 9d7e6097f3 tco working, update playground to self-hosted newt Steve Dunham 2025-03-17 18:43:42 -07:00
• 1219e8d4e5 tarjan is running on CExp now Steve Dunham 2025-03-16 10:40:41 -07:00
• 944854b1c4 Cleanup in Compile.newt, don't emit vestigial letrec Steve Dunham 2025-03-15 17:09:00 -07:00
• 5ab2a28bcf Prep to switch from Def to CExp for backend passes. Steve Dunham 2025-03-15 15:46:56 -07:00
• 5c7d065a88 fix build Steve Dunham 2025-02-22 18:46:27 -08:00
• 596c977a8a update vite Steve Dunham 2025-02-16 21:56:24 -08:00
• 041521ab47 fix regressed error message for missing cases Steve Dunham 2025-02-16 21:46:19 -08:00
• 001cba26ee first pass at liftWhere Steve Dunham 2025-02-15 21:07:44 -08:00
• 4126d6a67a add bun to build dependencies Steve Dunham 2025-02-15 16:46:22 -08:00
• 1abeda66bb update npm packages Steve Dunham 2025-02-15 16:44:00 -08:00
• 3c2615ecc1 move idris version to orig and newt version to src. Steve Dunham 2025-02-15 16:36:29 -08:00
• 829c5d5143 bootstrap from previous commit Steve Dunham 2025-02-02 16:33:55 -08:00
• 9586ca96bb erasure improvements Steve Dunham 2025-02-02 16:33:37 -08:00
• c83632881d two more fixes from recent namespace change. Steve Dunham 2025-02-01 20:02:50 -08:00
• b6ce6cfb13 rename top/put/modify on M to avoid collisions Steve Dunham 2025-02-01 16:47:10 -08:00
• fad966b1ec Refactor code generation to prepare for optimization passes Steve Dunham 2025-02-01 11:27:52 -08:00
• 1490fc601b add log levels, make output less noisy Steve Dunham 2025-01-25 22:11:46 -08:00
• afc6146050 Don't curry (via eta expansion) a one-argument function Steve Dunham 2025-01-25 21:38:59 -08:00
• 7d218a4b94 compiler output compatible with older version Steve Dunham 2025-01-25 11:58:03 -08:00
• 4226e38fc8 Merge pull request #1 from dunhamsteve/dependabot/npm_and_yarn/playground/vite-5.4.12 Steve Dunham 2025-01-23 21:13:18 -08:00
• 8a9d7ac4dd Bump vite from 5.4.10 to 5.4.12 in /playground dependabot[bot] 2025-01-24 05:12:36 +00:00
• bc71c006e9 Cleanup and a fix to Prelude and the playground Steve Dunham 2025-01-23 21:10:42 -08:00
• 20e6571986 better location for "not enough patterns" Steve Dunham 2025-01-20 19:58:41 -08:00
• e3ae301c9c performance and code size improvements Steve Dunham 2025-01-18 21:33:49 -08:00
• f991ca0d52 Remove unused argument that was blowing up serialization. Steve Dunham 2025-01-18 15:21:15 -08:00
• f9279bb255 Use null for erased values to aid serialization Steve Dunham 2025-01-18 14:48:29 -08:00
• cecb1d73c1 update readme file Steve Dunham 2025-01-17 21:16:03 -08:00
• 8e8e6bce7e fix codegen Steve Dunham 2025-01-12 10:38:58 -08:00
• 5cce1a465e Modules live in separate contexts, only imported modules are in scope Steve Dunham 2025-01-12 08:57:01 -08:00
• 793c3a9999 qn for metas Steve Dunham 2025-01-11 20:07:50 -08:00
• 1a9a8d3312 better fc in missing case Steve Dunham 2025-01-11 17:40:24 -08:00
• 363f85710f add comments, fix fc on an error, add constructor for U Steve Dunham 2025-01-10 21:03:20 -08:00
• 2cdeb2721c Improve auto solving - 30% faster and hopefully proper errors if a type mismatch is blocking it. Steve Dunham 2025-01-07 20:59:59 -08:00
• 7110c94ac6 determine base path Steve Dunham 2025-01-06 17:02:21 -08:00
• 265a81257a cleanup a little bit Steve Dunham 2025-01-06 16:28:40 -08:00
• 627ca5d91b Aoc passes, and it successfully compiles itself. Steve Dunham 2025-01-05 13:56:38 -08:00
• 9172d88be7 put the port in the port directory Steve Dunham 2025-01-05 11:15:29 -08:00
• 9262fa8b27 Fix parsing and rendering issues, all but 3 of aoc2024 work. Steve Dunham 2025-01-05 11:08:42 -08:00
• 0dbc5d5ee7 port compiles hello world Steve Dunham 2025-01-04 21:07:25 -08:00
• 6b1eef86a7 Newt in Newt compiles (but does not run) Steve Dunham 2025-01-04 09:26:33 -08:00
• 46434cc555 Port Eval.newt Steve Dunham 2025-01-03 22:49:07 -08:00
• b87999a64d More porting. Parser is working now. Some improvements have been made to auto resolution Steve Dunham 2025-01-03 21:57:15 -08:00
• 5a6dcdb92b try solving autos when a related constraint is added Steve Dunham 2025-01-02 22:44:17 -08:00
• 591608eece update aoc2024 for record changes Steve Dunham 2025-01-02 22:38:15 -08:00
• 30cc85ca0e move auto solver to elab Steve Dunham 2025-01-02 13:48:16 -08:00
• e41e1d8f6a porting WIP Steve Dunham 2025-01-01 20:24:53 -08:00
• 9ed2b2077d fixes and changes for porting Steve Dunham 2025-01-01 20:21:07 -08:00
• 39be411c37 Add newt highlighting for markdown files Steve Dunham 2025-01-01 11:27:53 -08:00
• 669670d68c Add projections for records Steve Dunham 2025-01-01 11:27:41 -08:00
• 4dec53daa1 additional changes for porting, fix to lexing Steve Dunham 2025-01-01 08:46:25 -08:00
• b993425803 fix string escapes Steve Dunham 2024-12-31 23:55:07 -08:00
• 06893fe735 string interpolation Steve Dunham 2024-12-31 11:46:52 -08:00
• f4e96d06ec changes to support translation Steve Dunham 2024-12-30 22:34:03 -08:00
• 8c7f0616d2 fix type constructor quantities for short data decls Steve Dunham 2024-12-29 22:24:32 -08:00
• 57a8fe9609 prep for self-hosting Steve Dunham 2024-12-29 21:17:06 -08:00
• 6397cac18a refactor Ord to be based on compare Steve Dunham 2024-12-29 16:16:49 -08:00
• 413f95940f Replace monad stack with hard-coded monad Steve Dunham 2024-12-29 14:58:05 -08:00
• 747ab08dd6 remove external dependency for Token/WithBounds Steve Dunham 2024-12-29 14:04:22 -08:00
• 054a0675f4 fix importing with dots, prep work for porting Steve Dunham 2024-12-29 12:55:09 -08:00
• b92a45a7cf fix alternate tokenizer Steve Dunham 2024-12-28 22:28:40 -08:00
• 9a2eac0bd7 remove a Text.Parser dependency (about 10%), and alternate tokenizer Steve Dunham 2024-12-28 21:49:49 -08:00
• 23a95f70f5 add \case sugar and editor support. fix symlink Steve Dunham 2024-12-28 16:02:31 -08:00