Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 2af6ef1c1b File locations are now ranges. Steve Dunham 2025-10-10 16:26:03 -07:00
• 6b9da23478 smarter completion (via context) Steve Dunham 2025-10-10 10:36:44 -07:00
• b014e8d3e6 less noisy file errors Steve Dunham 2025-10-10 10:36:22 -07:00
• 2a5e5ae4f5 add error for stray, incorrect constructors Steve Dunham 2025-10-10 09:03:25 -07:00
• 78b9f958de refresh bootstrap Steve Dunham 2025-10-06 15:22:12 -07:00
• be40c431fe Add error when a constructor is used for a primitive argument. Steve Dunham 2025-10-06 15:20:44 -07:00
• 207d7afecf JS package cleanup Steve Dunham 2025-10-06 15:08:53 -07:00
• 8cfe91343e Lambda lifting (for non-javascript backends) Steve Dunham 2025-10-06 15:08:36 -07:00
• fc987a6f11 cleanup Steve Dunham 2025-10-04 18:11:24 -07:00
• 8209d2d839 Use numbers for constructor tags. Steve Dunham 2025-10-04 14:41:48 -07:00
• f1e6f98c99 Combinatory checks now, probably from fixes to eval Steve Dunham 2025-10-03 08:54:55 -07:00
• 404b64a06e npm audit fix Steve Dunham 2025-09-29 12:43:43 -07:00
• 495ed78c80 Use 1-based row/column in error messages Steve Dunham 2025-09-29 12:42:13 -07:00
• bab25f8dce cleanup TODO.md a little Steve Dunham 2025-09-29 11:59:57 -07:00
• f3a5e9012c Remove original Idris version of newt. Steve Dunham 2025-09-29 11:59:13 -07:00
• a53c5b4fba cleanup Steve Dunham 2025-09-29 10:50:22 -07:00
• 36d9f81f61 move inline/substMeta to compile step Steve Dunham 2025-09-23 20:43:46 -07:00
• 3143fa7b0a More inlining, fix issues in eval of case Steve Dunham 2025-09-23 20:22:50 -07:00
• cc7d8b4968 int add becomes + Steve Dunham 2025-09-20 19:58:39 -07:00
• 49c90cce6d inline "simple" functions and inline after app in inline Steve Dunham 2025-09-20 17:21:19 -07:00
• de71ea2f26 Initial implementation of inlining Steve Dunham 2025-09-20 10:54:54 -07:00
• 97c50a254a the "mode" argument to eval was unused and not fully propagated Steve Dunham 2025-09-02 21:10:32 -07:00
• a3801b8ba0 Remove some unnecessary assignments from codegen Steve Dunham 2025-09-01 16:21:43 -07:00
• 1432316fac SortedMap uses any comparator Steve Dunham 2025-09-01 15:39:35 -07:00
• 27d9250d34 Fix build of newt3.js Steve Dunham 2025-09-01 12:05:58 -07:00
• f90d171598 improve QName comparison time Steve Dunham 2025-08-29 11:08:34 -07:00
• 33a4cf6070 Fix issue building newt Steve Dunham 2025-08-28 21:24:29 -07:00
• fcee117260 [ libs ] move prelude file to src Steve Dunham 2025-07-27 15:00:24 -07:00
• 0c72d690e3 [ libs ] add DecEq to Prelude Steve Dunham 2025-07-27 14:57:21 -07:00
• 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