diff options
| author | Cliff Click <cliffc@acm.org> | 2026-10-02 14:27:49 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-10-02 14:27:49 -0700 |
| commit | 1e2ebb397cbbca1a7d2fd35052c3b90a47bb5733 (patch) | |
| tree | 536ac9c6e7e436f4fabf2944f2ce3abdfff54f4d /chapter10a/docs/lattice.gv | |
| parent | e4dc3273f201ae741637b626998637cce973546b (diff) | |
| download | Simple-1e2ebb397cbbca1a7d2fd35052c3b90a47bb5733.tar.gz Simple-1e2ebb397cbbca1a7d2fd35052c3b90a47bb5733.zip | |
README updates thru ch10a
Diffstat (limited to 'chapter10a/docs/lattice.gv')
| -rw-r--r-- | chapter10a/docs/lattice.gv | 25 |
1 files changed, 22 insertions, 3 deletions
diff --git a/chapter10a/docs/lattice.gv b/chapter10a/docs/lattice.gv index eb4d7fb1..b56a3073 100644 --- a/chapter10a/docs/lattice.gv +++ b/chapter10a/docs/lattice.gv @@ -91,9 +91,28 @@ digraph Lattice { node [fillcolor="#ffc0cb"]; TUPLE_TOP [label="⊤:tuple"]; TUPLE_BOT [label="⊥:tuple"]; - TUPLE1 [label="(type)", shape=box]; - TUPLE2 [label="(type, type)", shape=box]; - TUPLEN [label="(type, …)", shape=box]; + // Each black element stands for a recursively nested type lattice. + TUPLE1 [shape=plain, label=< + <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4"> + <TR><TD BGCOLOR="#ffc0cb">tuple</TD></TR> + <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR> + </TABLE> + >]; + TUPLE2 [shape=plain, label=< + <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4"> + <TR><TD BGCOLOR="#ffc0cb">tuple</TD></TR> + <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR> + <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR> + </TABLE> + >]; + TUPLEN [shape=plain, label=< + <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4"> + <TR><TD BGCOLOR="#ffc0cb">tuple</TD></TR> + <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR> + <TR><TD BGCOLOR="black"><FONT COLOR="white">…</FONT></TD></TR> + <TR><TD BGCOLOR="black"><FONT COLOR="white">type</FONT></TD></TR> + </TABLE> + >]; {rank=same; TUPLE1; TUPLE2; TUPLEN;} TUPLE1 -> TUPLE2 -> TUPLEN [style=invis]; TUPLE_TOP -> {TUPLE1 TUPLE2 TUPLEN}; |