msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity
272 Commits 19 Branches 2 Tags
happy-frontend
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
crumbtoo a1a50bd013 now we're fucking GETTING SOMEWHERE 2024-01-15 14:58:26 -07:00
crumbtoo 1c035d092a works 2024-01-15 13:31:15 -07:00
crumbtoo c0236dc079 oh my god 2024-01-15 11:11:43 -07:00
crumbtoo 9a4f24ec10 Merge commit '4f66e71' into happy-frontend 2024-01-15 11:06:37 -07:00
crumbtoo 4f66e71b9a FIX REAL 2024-01-15 11:05:10 -07:00
crumbtoo bdf74ac6c9 cool 2024-01-15 10:35:11 -07:00
crumbtoo 3dfadc17ec fixy 2024-01-15 10:33:09 -07:00
crumbtoo c92d8fac65 we're so back 2024-01-15 09:44:26 -07:00
crumbtoo a38381f6ca version bounds 2024-01-15 07:53:40 -07:00
crumbtoo 6390ca80d8 see previous commit and scale back the part where i'm joking 2024-01-15 07:47:23 -07:00
crumbtoo 17ddf3530c kitten i'll be honest mommy's about to kill herself 2024-01-15 07:47:23 -07:00
crumbtoo e597ecbfc6 okay layouts kinda 2024-01-15 07:47:23 -07:00
crumbtoo 2496589346 aagh 2024-01-15 07:47:23 -07:00
crumbtoo 681a394312 man this sucks 2024-01-15 07:47:23 -07:00
crumbtoo aff1c6b4c6 decent starting point 2024-01-15 07:47:23 -07:00
crumbtoo bec376b7c7 threaded lexer 2024-01-15 07:47:23 -07:00
crumbtoo eaa04c4a59 its fine 2024-01-15 07:47:23 -07:00
crumbtoo ea2fb4dcaa tysigs 2024-01-15 07:47:23 -07:00
crumbtoo ab2cb59526 i did not realise my fs is case insensitive 2024-01-15 07:47:23 -07:00
crumbtoo ec4902b2d4 layout 
layouts

oh my layouts
 2024-01-15 07:47:23 -07:00
crumbtoo 1fc45b70b4 replace uses of many+satisfy with takeWhileP 2024-01-15 07:47:23 -07:00
crumbtoo 4b9a570c72 finally in a decent state 2024-01-15 07:47:23 -07:00
crumbtoo 65b967689c decls fix 2024-01-15 07:47:23 -07:00
crumbtoo ed60ec8b32 aaaaa 2024-01-15 07:47:23 -07:00
crumbtoo d0dbdbbd9b cool 2024-01-15 07:47:23 -07:00
crumbtoo cae0939f0c where 2024-01-15 07:47:23 -07:00
crumbtoo 3292998c42 expr fixups 2024-01-15 07:47:23 -07:00
crumbtoo 84c1122995 infix decl 2024-01-15 07:47:21 -07:00
crumbtoo 97ce9b48ae labels 2024-01-15 07:46:23 -07:00
crumbtoo 936f24148f works 2024-01-15 07:46:23 -07:00
crumbtoo 2a159232c7 fixation fufilled - back to work! 2024-01-15 07:46:23 -07:00
crumbtoo 4ee9785239 Show1 instances 2024-01-15 07:46:20 -07:00
crumbtoo cbe4276061 goofy 2024-01-15 07:44:17 -07:00
crumbtoo c5c06fa6cb something 2024-01-15 07:44:17 -07:00
crumbtoo 0f04e2decf application and lits 
appl
 2024-01-15 07:44:17 -07:00
crumbtoo 6130a91668 oh boy am i going to hate this code in 12 hours 2024-01-15 07:44:17 -07:00
crumbtoo c15f9b6546 4:00 AM psychopath code 2024-01-15 07:44:17 -07:00
crumbtoo bb6aca094c grammar reference 2024-01-15 07:44:17 -07:00
crumbtoo 245b12a96e add version bounds 2024-01-15 07:43:59 -07:00
crumbtoo 832767575c lex \ instead of \\ 2023-12-29 18:43:09 -07:00
crumbtoo 1dc695f640 Compiler.JustRun 2023-12-29 14:20:53 -07:00
crumbtoo b941347f82 fix hm tests 2023-12-29 13:54:09 -07:00
crumbtoo 35446533d7 type-checked quasiquoters 2023-12-29 13:47:42 -07:00
crumbtoo e80acbcd28 errorful (it's not good) 2023-12-28 15:55:55 -07:00
crumbtoo cb5692248f back and medicated! 2023-12-28 15:55:55 -07:00
crumbtoo 1164b13a1e kinda sorta typechecking 2023-12-28 15:55:55 -07:00
crumbtoo b6945a64eb i'm on an airplane rn, my eyelids grow heavy, and i forgot my medication. should this be my final commit (of the week): gootbye 2023-12-28 15:55:55 -07:00
crumbtoo 526bf0734e RlpcError 2023-12-28 15:55:24 -07:00
crumbtoo c2960e4acc Name = Text 
Name = Text
 2023-12-20 15:41:41 -07:00
crumbtoo 07be32c618 parse programs (with type sigs :D) 2023-12-20 14:49:40 -07:00
crumbtoo 5c9bf40e40 parse programs (with types :D) 2023-12-20 14:42:35 -07:00
crumbtoo fe90c9afb0 parse types 2023-12-20 14:13:17 -07:00
crumbtoo 414312cf98 parse type sigs; program type sigs 2023-12-20 14:13:17 -07:00
crumbtoo 6f522d34ff TyInt -> TyCon "Int#" 2023-12-20 14:12:45 -07:00
crumbtoo d954734660 LitE -> Lit 2023-12-18 15:42:41 -07:00
crumbtoo 52b7723ea0 LitE -> Lit 2023-12-18 15:38:26 -07:00
crumbtoo ac6f826141 small 2023-12-18 15:37:32 -07:00
crumbtoo e222dae6ac infer nonrec let binds 
infer nonrec let binds
 2023-12-18 15:37:32 -07:00
crumbtoo e9e1c075db type IsString + test unification error 2023-12-18 15:37:32 -07:00
crumbtoo 0470912983 comments and better type errors 2023-12-18 15:37:32 -07:00
crumbtoo f7e850c61a hindley milner inference :D 2023-12-18 15:37:27 -07:00
crumbtoo 78f88e085f infer 2023-12-18 15:36:32 -07:00
crumbtoo 20c936f317 commentary 2023-12-18 15:36:32 -07:00
crumbtoo 136e3687b0 Literal -> Lit, LitE -> Lit 2023-12-18 15:36:17 -07:00
crumbtoo 585130cfac update readme 2023-12-14 14:27:16 -07:00
crumbtoo bc3bd92c43 update readme 2023-12-14 14:16:46 -07:00
crumbtoo 1d5af748b3 idCase test 2023-12-14 14:04:51 -07:00
crumbtoo 633882119b add examples 2023-12-14 13:29:08 -07:00
crumbtoo f2b6e43d59 div zero 2023-12-14 13:22:50 -07:00
crumbtoo 5ea629a439 real tests! 2023-12-14 12:59:31 -07:00
crumbtoo 7a0b2e0711 test lazy arith 2023-12-14 12:02:46 -07:00
crumbtoo c03b2a5473 arith fixes 2023-12-14 12:02:43 -07:00
crumbtoo 906bdc59b7 arith fixes (everything seems to work) 2023-12-14 11:59:27 -07:00
crumbtoo 1f2d540c72 test lazy arith 2023-12-13 11:45:03 -07:00
crumbtoo 9c7c9c4730 arith fixes 2023-12-13 11:38:34 -07:00
crumbtoo 0caeeccde1 awkwardly demos broken dev branch 2023-12-13 11:03:43 -07:00
crumbtoo 70e0746932 rm Rename 2023-12-12 18:06:17 -07:00
crumbtoo a65ae0bd52 rlp syntax 
gonna work on typechecking now lol.......
 2023-12-12 13:50:07 -07:00
crumbtoo f552461cb3 help 2023-12-11 18:28:33 -07:00
crumbtoo 56f1fe4ee7 default value for --heap-trigger 2023-12-11 18:23:26 -07:00
crumbtoo b371e84d80 gm + gmPrep wiring 2023-12-11 18:05:17 -07:00
crumbtoo b31c50dd72 update old name 2023-12-11 17:30:32 -07:00
crumbtoo 7391148d62 gmPrep 2023-12-11 17:25:41 -07:00
crumbtoo 6c43f86397 cleanup 2023-12-11 14:37:53 -07:00
crumbtoo 238729cf1e core2core 2023-12-11 14:18:48 -07:00
crumbtoo e477891bc3 cleanup 2023-12-08 14:55:30 -07:00
crumbtoo f728b91a8a add annotation param to Expr 
nightmare breaking changes. never listening to the "i'll do it later if i REALLY need it" part of my brain again.

add annotation param to Expr
 2023-12-08 09:49:03 -07:00
crumbtoo a00405ebd4 gc 
gc
 2023-12-07 15:14:52 -07:00
crumbtoo c48a4ef4c0 hooray (factorial works on GM) 2023-12-07 13:14:48 -07:00
crumbtoo c31d12bde8 womp (no deepeval) 2023-12-07 12:05:48 -07:00
crumbtoo 791c5f6478 fix evil bug 
unwind unsaturated SC rule was not firing
 2023-12-07 09:39:26 -07:00
crumbtoo d5e18efad4 renamer goal 2023-12-06 19:46:21 -07:00
crumbtoo 908727f9f5 deep eval rule 2023-12-06 19:41:13 -07:00
crumbtoo ed8075a65f fixup 
fixup
 2023-12-06 19:41:13 -07:00
crumbtoo 38e42752cf cleanup 
cleanup
 2023-12-06 19:41:12 -07:00
crumbtoo dade0a13a2 cleanup 2023-12-06 17:15:03 -07:00
crumbtoo f6d87cfb6b case exprs! 2023-12-06 16:41:38 -07:00
crumbtoo 07c3064a72 oh boy (pack) 2023-12-06 15:29:03 -07:00
crumbtoo 87d3aac1fb finally fix dispatch scope 2023-12-06 11:23:44 -07:00
crumbtoo 1b51ee0c64 use Key to index Env 2023-12-06 11:17:26 -07:00