diff --git a/rlpc.drawio b/rlpc.drawio new file mode 100644 index 0000000..d68b067 --- /dev/null +++ b/rlpc.drawio @@ -0,0 +1,253 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/rlpc.drawio.svg b/rlpc.drawio.svg new file mode 100644 index 0000000..31dd37b --- /dev/null +++ b/rlpc.drawio.svg @@ -0,0 +1,4 @@ + + + +
rl' source code
RLPC
Parser
Rlp.Parse
(src/Rlp/Parse.y)
Rlp.Lex

(src/Rlp/Lex.x)
RlpToken
Rlp.Parse.Associate
RlpProgram' RlpcPs

(lexer & parser threaded w/ CPS)

Desugarer
Rlp2Core
Evaluation Model
GM
TM
TIM
STG
Preprocessing
Core2Core
tagData
defineData
liftNonStrictCases
Some target
Program'
Program'
[Instr]
Core Parser
Core.Lex
Core.Parse
CoreToken
Core Type-checker
(currently unimplemented)
Type-checker
RlpProgram' RlpcPs
RlpProgram' RlpcTc
Core.HindleyMilner
Program'
Program'
Core source code
???
 \ No newline at end of file