Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 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
• a6e68ac2a2 ability to run code and check output in tests Steve Dunham 2024-12-28 13:19:15 -08:00
• 95f90c8698 highlighting improvements Steve Dunham 2024-12-28 11:04:42 -08:00
• 3ec2f90770 sugar for data and other improvements Steve Dunham 2024-12-28 09:24:30 -08:00
• 0992dc1367 split up unify to simplify casetree, Steve Dunham 2024-12-27 16:38:50 -08:00
• d224099e4a more js keywords Steve Dunham 2024-12-27 16:00:35 -08:00
• 9655434b2a add namespaces to names Steve Dunham 2024-12-26 18:51:46 -08:00
• 9d90dd828e day25 Steve Dunham 2024-12-24 22:28:46 -08:00
• 93399af9b5 day24 Steve Dunham 2024-12-24 10:46:34 -08:00
• 4af72e57b8 day23 Steve Dunham 2024-12-23 08:57:38 -08:00
• 87c3554253 faster version of Day22 Steve Dunham 2024-12-22 20:01:50 -08:00
• ad2f29d0af improve already defined error messages Steve Dunham 2024-12-22 14:58:45 -08:00
• e0c75ff487 improvements to editor support Steve Dunham 2024-12-22 14:52:26 -08:00
• 90b8fd79ae day22 Steve Dunham 2024-12-21 22:07:47 -08:00
• 2c7c5eca55 monadic version of day21 Steve Dunham 2024-12-21 21:02:56 -08:00
• e396514899 day21 Steve Dunham 2024-12-21 14:29:46 -08:00
• 567a357dee Day20 Steve Dunham 2024-12-20 12:39:51 -08:00
• f2c6b409fe desugaring record implementation (TODO - dependency) Steve Dunham 2024-12-19 20:43:10 -08:00
• 4289c5c6e8 negative integers Steve Dunham 2024-12-19 16:36:59 -08:00
• edbf053f07 Day19 Steve Dunham 2024-12-19 08:00:12 -08:00
• 1a48c00951 day18 in playground Steve Dunham 2024-12-18 14:04:48 -08:00