Commit Graph

58 Commits

Author SHA1 Message Date
crumbtoo
fa2b2d6ed5 it's so over (whole-program inference again) 2024-04-15 10:07:21 -06:00
crumbtoo
e1924229bb kill me 2024-04-15 10:07:21 -06:00
crumbtoo
c72d93216a begin hm visualiser 2024-04-15 10:07:21 -06:00
crumbtoo
623acb3454 pretty -> prettyprinter 2024-04-15 10:07:21 -06:00
crumbtoo
175e58f13c html 2024-04-15 10:07:21 -06:00
crumbtoo
1f3dd80127 pretty 2024-04-15 10:07:20 -06:00
crumbtoo
63768605fa system F 2024-04-15 10:07:20 -06:00
crumbtoo
a6e267fc29 terse pretty-printing 2024-04-15 10:07:20 -06:00
crumbtoo
5bf83ffbaf instance hell 2024-04-15 10:07:20 -06:00
crumbtoo
4a120f9899 things 2024-04-15 10:07:20 -06:00
crumbtoo
eb165c99fa i want to fucking die 2024-04-15 10:07:20 -06:00
crumbtoo
22f19ce9a5 something 2024-04-15 10:07:20 -06:00
crumbtoo
709123d68e HasLocation
HasLocation
2024-04-15 10:07:20 -06:00
crumbtoo
953086d751 SrcSpan 2024-04-15 10:07:20 -06:00
crumbtoo
2e13ec2cf4 microlens -> lens
i still love you microlens..
2024-02-13 13:42:43 -07:00
crumbtoo
4c9ceb74d1 ready? 2024-02-13 12:52:06 -07:00
crumbtoo
81b019e659 QuickSort example works i'm gonig to cry 2024-02-13 11:50:10 -07:00
crumbtoo
50a4d0010c small core fixes 2024-02-09 17:44:17 -07:00
crumbtoo
2492660da4 Rlp2Core: simple let binds 2024-02-09 14:46:50 -07:00
crumbtoo
6c943af4a1 ppr debug flags
ddump-parsed
2024-02-08 09:31:13 -07:00
crumbtoo
80425a274c sigh i'm gonna have to nuke the ast again in a month 2024-02-07 18:52:19 -07:00
crumbtoo
719d5a4089 fix incomplete byTag 2024-02-07 14:26:47 -07:00
crumbtoo
15884336f1 parse case exprs 2024-02-06 13:04:36 -07:00
crumbtoo
bd55efc5ed expandableAlt 2024-02-06 10:52:01 -07:00
crumbtoo
4f9f00dfee sc 2024-02-04 20:52:23 -07:00
crumbtoo
b84992787c rlp TH 2024-02-04 19:19:37 -07:00
crumbtoo
77f2f900d8 core driver 2024-02-01 15:24:16 -07:00
crumbtoo
ff5a5af9bc -ddump-eval 2024-02-01 12:14:43 -07:00
crumbtoo
7a6518583f debug tags 2024-02-01 11:57:37 -07:00
crumbtoo
dda0e17358 -ddump-ast 2024-02-01 11:37:52 -07:00
crumbtoo
46f0393a03 *R functions 2024-02-01 10:37:51 -07:00
crumbtoo
ccf17faff8 driver progress 2024-01-30 16:19:03 -07:00
crumbtoo
14df00039f error messages 2024-01-30 15:56:45 -07:00
crumbtoo
ba099b7028 organisation and cleaning
organisation and tidying
2024-01-30 14:04:43 -07:00
crumbtoo
8d0f324c63 oh my god guys!!! Located is a lax semimonoidal endofunctor on the category Hask!!!
![abstractionjak](https://media.discordapp.net/attachments/1101767463579951154/1200248978642567168/3877820-20SoyBooru.png?ex=65c57df8&is=65b308f8&hm=67da3acb61861cab6156df014b397d78fb8815fa163f2e992474d545beb668ba&=&format=webp&quality=lossless&width=880&height=868)
2024-01-26 17:25:59 -07:00
crumbtoo
559fd49f2b minor changes
putting this on hold; implementing TTG first
2024-01-25 15:52:56 -07:00
crumbtoo
cefdf6ffae allow uppercase sc names in preperation for Rlp2Core 2024-01-22 12:45:42 -07:00
crumbtoo
e3b18c8915 errors! 2024-01-22 12:20:05 -07:00
crumbtoo
692d22afb9 msgenvelope 2024-01-22 10:26:33 -07:00
crumbtoo
c146e1c450 errorful parser
small
2024-01-22 10:14:30 -07:00
crumbtoo
1a881399ab when the "Test suite rlp-test: PASS" hits
i'm like atlas and the world is writing two lines of code
2024-01-21 14:02:28 -07:00
crumbtoo
257d02da87 RlpcError -> IsRlpcError 2024-01-21 11:53:41 -07:00
crumbtoo
f47f325e34 compiles (kill me)
man
2024-01-19 15:52:47 -07:00
crumbtoo
1dc695f640 Compiler.JustRun 2023-12-29 14:20:53 -07:00
crumbtoo
35446533d7 type-checked quasiquoters 2023-12-29 13:47:42 -07:00
crumbtoo
526bf0734e RlpcError 2023-12-28 15:55:24 -07:00
crumbtoo
a00405ebd4 gc
gc
2023-12-07 15:14:52 -07:00
crumbtoo
38e42752cf cleanup
cleanup
2023-12-06 19:41:12 -07:00
crumbtoo
07c3064a72 oh boy (pack) 2023-12-06 15:29:03 -07:00
crumbtoo
089afa0ea1 TIM -> TI 2023-11-30 14:08:19 -07:00