diff --git a/README.org b/README.org index c30defd..35bdbdd 100644 --- a/README.org +++ b/README.org @@ -116,7 +116,8 @@ Available debug flags include: ** TODO user-supplied annotation support in Rlp/HindleyMilner.hs :feature: -** TODO [#A] update architecture diagram :docs: +** DONE [#A] update architecture diagram :docs: + CLOSED: [2024-04-05 Fri 15:41] ** TODO pattern support; everywhere [0%] :feature: - [-] in the type-checker diff --git a/rlpc.drawio b/rlpc.drawio index d68b067..0696262 100644 --- a/rlpc.drawio +++ b/rlpc.drawio @@ -1,6 +1,6 @@ - + - + @@ -22,13 +22,13 @@ - + - + @@ -48,18 +48,18 @@ - + - + - + @@ -68,185 +68,195 @@ - + - - + + - + - - + + - - + + - - + + - - + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + - + - + - + - + - + - - - - - - - + - + - + - + - - - - - - - - - - - - + - + - + - + - + - + - + - + - + - + - - - - - - + - + - + - + - + - + - + + + + + + + + + + + + + + + - + - - - - + - - - - - - diff --git a/rlpc.drawio.svg b/rlpc.drawio.svg index 31dd37b..1c722a1 100644 --- a/rlpc.drawio.svg +++ b/rlpc.drawio.svg @@ -1,4 +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 +
rl' source code
RLPC
Parser
Rlp.AltParse
(src/Rlp/AltParse.y)
Rlp.Lex

(src/Rlp/Lex.x)
RlpToken
Rlp.Parse.Associate
Rlp.Program PsName RlpExpr'

(lexer & parser threaded w/ CPS)

Desugarer
Rlp2Core
Evaluation Model
GM
compile
eval
[Instr]
GMState
Preprocessing
Core2Core
tagData
defineData
liftNonStrictCases
Core.Program Var
Core.Program Name
Core Parser
Core.Lex
Core.Parse
CoreToken
Core Type-checker
Type-checker
Rlp.Program PsName (Cofree RlpExprF' Type')
Core.HindleyMilner
Core.Program PsName
Core.Program Var
Rlp.HindleyMilner
Rlp.Program PsName RlpExpr'
Core source code
\ No newline at end of file