crumbtoo
|
ccc71a751c
|
remove bad, incorrct, outdated docs
|
2024-02-13 13:20:39 -07:00 |
|
crumbtoo
|
c57da862ae
|
update readme
|
2024-02-13 12:57:01 -07:00 |
|
crumbtoo
|
4c9ceb74d1
|
ready?
|
2024-02-13 12:52:06 -07:00 |
|
crumbtoo
|
8267548fab
|
remove debug tracers
|
2024-02-13 12:01:46 -07:00 |
|
crumbtoo
|
968832bfaf
|
remove debug code
|
2024-02-13 11:51:10 -07:00 |
|
crumbtoo
|
81b019e659
|
QuickSort example works i'm gonig to cry
|
2024-02-13 11:50:10 -07:00 |
|
crumbtoo
|
cd2a283493
|
more nightmare GM fixes
|
2024-02-13 11:48:03 -07:00 |
|
crumbtoo
|
bb41d3c196
|
gte gm prim
|
2024-02-13 10:42:45 -07:00 |
|
crumbtoo
|
de16bf12df
|
fix: tag nested data names
|
2024-02-13 10:42:17 -07:00 |
|
crumbtoo
|
7b271e5265
|
bind VarP after pats
|
2024-02-12 11:52:48 -07:00 |
|
crumbtoo
|
af42d4fbd6
|
print# gm primitive
|
2024-02-12 11:09:01 -07:00 |
|
crumbtoo
|
8ac301aa48
|
constants for bool tags
|
2024-02-12 09:47:16 -07:00 |
|
crumbtoo
|
941f228c6c
|
decent state!
|
2024-02-12 07:44:10 -07:00 |
|
crumbtoo
|
dfad80b163
|
lt
|
2024-02-12 07:34:16 -07:00 |
|
crumbtoo
|
f53d42bf84
|
typechecking things
|
2024-02-09 19:07:34 -07:00 |
|
crumbtoo
|
17d764c2ec
|
typed coreExpr quoter
|
2024-02-09 18:31:37 -07:00 |
|
crumbtoo
|
58838b9527
|
formatting
|
2024-02-09 18:07:08 -07:00 |
|
crumbtoo
|
615a6f1b07
|
update examples
|
2024-02-09 17:56:38 -07:00 |
|
crumbtoo
|
50a4d0010c
|
small core fixes
|
2024-02-09 17:44:17 -07:00 |
|
crumbtoo
|
c37e8bdf15
|
Rlp2Core: pattern let binds
|
2024-02-09 17:04:33 -07:00 |
|
crumbtoo
|
2492660da4
|
Rlp2Core: simple let binds
|
2024-02-09 14:46:50 -07:00 |
|
crumbtoo
|
5749c0efd3
|
Merge branch 'dev' of github.com:msydneyslaga/rlp into dev
|
2024-02-09 08:11:32 -07:00 |
|
crumb
|
4b8c55d2d8
|
Update README.md
|
2024-02-09 01:44:32 -07:00 |
|
crumbtoo
|
17058d3f8c
|
letrec + typechecking core
|
2024-02-08 18:40:46 -07:00 |
|
crumbtoo
|
a2b4bd2afc
|
examples
|
2024-02-08 16:43:02 -07:00 |
|
crumbtoo
|
6dd581a25f
|
examples
|
2024-02-08 16:42:57 -07:00 |
|
crumbtoo
|
1d8eddc63f
|
fix evil lexer bug (it was actually quite subtle unlike prev.)
|
2024-02-08 16:42:37 -07:00 |
|
crumbtoo
|
5fdba5b862
|
fix evil parser bug (it was a fucking typo)
|
2024-02-08 16:29:23 -07:00 |
|
crumbtoo
|
055fbfd40c
|
.hs -> .cr
update examples
|
2024-02-08 14:07:07 -07:00 |
|
crumbtoo
|
d2e301fad7
|
tidying
|
2024-02-08 14:00:43 -07:00 |
|
crumbtoo
|
8a94288e5a
|
remove unnecessary comment
|
2024-02-08 12:13:40 -07:00 |
|
crumbtoo
|
1c3286f047
|
ppr datatags
|
2024-02-08 12:12:57 -07:00 |
|
crumbtoo
|
fba46296db
|
ppr typesigs
|
2024-02-08 11:40:13 -07:00 |
|
crumbtoo
|
6c943af4a1
|
ppr debug flags
ddump-parsed
|
2024-02-08 09:31:13 -07:00 |
|
crumb
|
1079fc7c9b
|
Update README.md
|
2024-02-08 00:58:58 -07:00 |
|
crumbtoo
|
357da25795
|
diagram
|
2024-02-08 00:36:31 -07:00 |
|
crumbtoo
|
af5463f8f0
|
diagram
|
2024-02-08 00:36:23 -07:00 |
|
crumbtoo
|
bb2a07d2e9
|
define datatags
|
2024-02-07 23:49:08 -07:00 |
|
crumbtoo
|
c6f9c615b4
|
fix top-level layout
|
2024-02-07 21:38:01 -07:00 |
|
crumbtoo
|
96b73eced0
|
remove old files
|
2024-02-07 19:12:48 -07:00 |
|
crumbtoo
|
ec5f85f428
|
remove old files
|
2024-02-07 19:11:04 -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
|
2a51daf356
|
WIP associate postproc
corecursive
|
2024-02-07 16:01:14 -07:00 |
|
crumbtoo
|
98bed84807
|
desugar
|
2024-02-07 15:18:47 -07:00 |
|
crumbtoo
|
719d5a4089
|
fix incomplete byTag
|
2024-02-07 14:26:47 -07:00 |
|
crumbtoo
|
77d27dccde
|
tidy
|
2024-02-07 12:09:16 -07:00 |
|
crumbtoo
|
71170d6d42
|
NameSupply effect
|
2024-02-07 11:43:33 -07:00 |
|
crumbtoo
|
d6529d50ff
|
tidying
|
2024-02-07 11:19:36 -07:00 |
|
crumbtoo
|
868b63e6ef
|
her light cuts deep time and time again
('her' of course referring to the field of computer science)
|
2024-02-07 11:08:17 -07:00 |
|
crumbtoo
|
12d261ede1
|
rose
|
2024-02-06 18:54:07 -07:00 |
|
crumbtoo
|
2895e3cb48
|
case unrolling
|
2024-02-06 13:39:01 -07:00 |
|
crumbtoo
|
15884336f1
|
parse case exprs
|
2024-02-06 13:04:36 -07:00 |
|
crumbtoo
|
57f5206b16
|
fix layout_let
|
2024-02-06 12:08:37 -07:00 |
|
crumbtoo
|
0c98bca174
|
expandableAlt
|
2024-02-06 11:04:17 -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
|
0fc82f3fa8
|
something
|
2024-02-04 18:59:48 -07:00 |
|
crumbtoo
|
21d13ea73b
|
ccoool
|
2024-02-02 19:15:39 -07:00 |
|
crumbtoo
|
38d1044f5d
|
rlp2core base
|
2024-02-02 15:11:01 -07:00 |
|
crumbtoo
|
c9d1ca51f5
|
XRec fix
|
2024-02-01 18:15:40 -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
|
1803a1e058
|
formatting
|
2024-02-01 09:05:58 -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
|
e962bacd2e
|
fixup! ttg boilerplate
|
2024-01-30 13:04:23 -07:00 |
|
crumbtoo
|
f0c652b861
|
fixup! ttg boilerplate
|
2024-01-30 13:03:07 -07:00 |
|
crumbtoo
|
6a41e123ea
|
ttg boilerplate
|
2024-01-30 13:01:01 -07:00 |
|
crumbtoo
|
fbea3d6f3d
|
let layout
|
2024-01-28 19:41:36 -07:00 |
|
crumbtoo
|
ab979cb934
|
i should've made a lisp man this sucks
|
2024-01-28 19:33:05 -07:00 |
|
crumbtoo
|
7d42f9b641
|
at long last
more
no more undefineds
|
2024-01-28 18:30:12 -07:00 |
|
crumbtoo
|
fdaa2a1afd
|
abandon ship
|
2024-01-28 17:02:32 -07:00 |
|
crumbtoo
|
83dda869f8
|
show
|
2024-01-28 16:24:08 -07:00 |
|
crumbtoo
|
c74c192645
|
idk
|
2024-01-26 19:19:41 -07:00 |
|
crumbtoo
|
e00e4d3418
|
it's also a comonad. lol.
|
2024-01-26 17:53:05 -07:00 |
|
crumbtoo
|
8d0f324c63
|
oh my god guys!!! Located is a lax semimonoidal endofunctor on the category Hask!!!
|
2024-01-26 17:25:59 -07:00 |
|
crumbtoo
|
6a6076f26e
|
some
|
2024-01-26 15:12:10 -07:00 |
|
crumbtoo
|
559fd49f2b
|
minor changes
putting this on hold; implementing TTG first
|
2024-01-25 15:52:56 -07:00 |
|
crumbtoo
|
bb3f73836c
|
nearing release :3
|
2024-01-25 13:18:04 -07:00 |
|
crumbtoo
|
eeeac9cc85
|
named constr tests
|
2024-01-25 13:02:12 -07:00 |
|
crumbtoo
|
4f39dd36f1
|
resolve named data in case exprs
|
2024-01-25 12:39:57 -07:00 |
|
crumbtoo
|
4c99e44c04
|
temporary pragma system
|
2024-01-25 11:15:09 -07:00 |
|
crumbtoo
|
170e4e36ae
|
new tag syntax; preparing for Core patterns
new tag syntax; preparing for data names
|
2024-01-24 11:34:09 -07:00 |
|
crumbtoo
|
d52a366c1b
|
small fixups
|
2024-01-24 11:03:51 -07:00 |
|
crumbtoo
|
0025d33069
|
stable enough for a demo hey?
|
2024-01-24 10:14:44 -07:00 |
|
crumbtoo
|
7c474cc064
|
minor docs
|
2024-01-24 09:49:27 -07:00 |
|
crumbtoo
|
fbef645746
|
checklist
|
2024-01-24 09:39:06 -07:00 |
|
crumbtoo
|
c8199a9dd1
|
minor docs
|
2024-01-24 09:31:57 -07:00 |
|
crumbtoo
|
3d45e12676
|
infer letrec expressions
|
2024-01-23 21:09:25 -07:00 |
|
crumbtoo
|
22b5b47795
|
letrec
|
2024-01-23 20:19:16 -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
|
5a659d22dd
|
errorful parser
|
2024-01-22 09:55:58 -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
|
f22d4238f5
|
Merge branch 'dev' into frontend-parser
|
2024-01-17 10:28:59 -07:00 |
|
crumbtoo
|
4e1c9dd750
|
rename rlp
|
2024-01-17 10:19:48 -07:00 |
|
crumbtoo
|
d6ac991105
|
renamerlp
|
2024-01-17 10:19:16 -07:00 |
|
crumbtoo
|
d5663c1aad
|
remove debug flags
|
2024-01-17 10:11:48 -07:00 |
|
crumbtoo
|
7e6bee3d4a
|
infix exprs
|
2024-01-17 10:08:57 -07:00 |
|
crumbtoo
|
5ec625e0fd
|
i really need to learn git proper
|
2024-01-15 15:20:04 -07:00 |
|
crumbtoo
|
9196e20e08
|
Merge branch 'frontend-parser' into happy-frontend
|
2024-01-15 15:18:29 -07:00 |
|
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
|
cb9ec43c14
|
tysigs
|
2024-01-10 15:11:26 -07:00 |
|
crumbtoo
|
8ad967fac0
|
i did not realise my fs is case insensitive
|
2024-01-10 14:33:03 -07:00 |
|
crumbtoo
|
55dbc9de70
|
layout
layouts
oh my layouts
|
2024-01-10 14:23:37 -07:00 |
|
crumbtoo
|
05226373ee
|
replace uses of many+satisfy with takeWhileP
|
2024-01-10 11:33:27 -07:00 |
|
crumbtoo
|
981c5d8a83
|
finally in a decent state
|
2024-01-10 11:26:17 -07:00 |
|
crumbtoo
|
86cd1075ca
|
decls fix
|
2024-01-10 11:03:06 -07:00 |
|
crumbtoo
|
1d43c1d304
|
aaaaa
|
2024-01-10 10:46:53 -07:00 |
|
crumbtoo
|
4b44f57066
|
cool
|
2024-01-09 22:57:14 -07:00 |
|
crumbtoo
|
90a9594e8f
|
where
|
2024-01-09 14:24:51 -07:00 |
|
crumbtoo
|
074350768c
|
expr fixups
|
2024-01-09 12:26:53 -07:00 |
|
crumbtoo
|
37d9e6f219
|
infix decl
|
2024-01-09 11:39:26 -07:00 |
|
crumbtoo
|
cb7cdf7ed7
|
labels
|
2024-01-08 20:14:18 -07:00 |
|
crumbtoo
|
2f783d96e8
|
works
|
2024-01-08 18:56:14 -07:00 |
|
crumbtoo
|
a71c099fe0
|
fixation fufilled - back to work!
|
2024-01-08 13:39:12 -07:00 |
|
crumbtoo
|
d1e64eb12d
|
Show1 instances
|
2024-01-03 10:04:42 -07:00 |
|
crumbtoo
|
f31726b43d
|
goofy
|
2024-01-02 08:43:34 -07:00 |
|
crumbtoo
|
8aa9bb843f
|
something
|
2024-01-02 08:04:49 -07:00 |
|
crumbtoo
|
9a357a99b7
|
application and lits
appl
|
2024-01-02 07:04:27 -07:00 |
|
crumbtoo
|
060d48f9e1
|
oh boy am i going to hate this code in 12 hours
|
2024-01-02 06:26:48 -07:00 |
|
crumbtoo
|
bf4abeb8b4
|
4:00 AM psychopath code
|
2024-01-02 05:34:11 -07:00 |
|
crumbtoo
|
7ed565fc24
|
grammar reference
|
2024-01-02 02:33:31 -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 |
|
