From af5463f8f00baf3e4579d4fd3aa7a091cab99bb1 Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Thu, 8 Feb 2024 00:36:23 -0700 Subject: [PATCH] diagram --- rlpc.drawio | 253 ++++++++++++++++++++++++++++++++++++++++++++++++ rlpc.drawio.svg | 4 + 2 files changed, 257 insertions(+) create mode 100644 rlpc.drawio create mode 100644 rlpc.drawio.svg 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