Upgrades to the Type lattice diagrams

1 files changed, 15 insertions, 14 deletions

diff --git a/chapter04/docs/lattice.gv b/chapter04/docs/lattice.gv
index 1f286530..29a53b0a 100644
--- a/chapter04/docs/lattice.gv
+++ b/chapter04/docs/lattice.gv
@@ -4,13 +4,13 @@ digraph Lattice {
     node [shape=circle, style=filled, fillcolor=lightblue];
     nodesep=0.6;
 
-    TOP [label="⊤"];
-    BOT [label="⊥"];
+    TOP [label="⊤" , fillcolor=black, fontcolor=white];
+    BOT [label="⊥", fillcolor=black, fontcolor=white];
 
-    CTRL [label="Ctrl"];
+    CTRL [label="Ctrl", fillcolor=yellow];
 
-    INT_TOP [label="IntTop"];
-    INT_BOT [label="IntBot"];
+    INT_TOP [label="⊤ :Int"];
+    INT_BOT [label="⊥ :Int"];
 
     INT_MIN [label="-n"];
     INT_MINDOTS [label="..." shape=none style=none];
@@ -20,7 +20,7 @@ digraph Lattice {
     INT_MAXDOTS [label="..." shape=none style=none];
     INT_MAX [label="+n"];
 
-    TUPLE [label="TUPLE"];
+    TUPLE [label="TUPLE", fillcolor=pink];
 
     // Define edges
     edge [arrowhead=none];
@@ -44,20 +44,21 @@ digraph Lattice {
 
     INT_MIN -> INT_MINDOTS -> INT_MINUS -> INT_ZERO -> INT_PLUS -> INT_MAXDOTS -> INT_MAX [style=invis];
 
-    TOP          -> TUPLE;
-    TUPLE        -> BOT;
+    TOP   -> TUPLE;
+    TUPLE -> BOT;
 
-    TOP          -> CTRL;
-    CTRL         -> BOT;
+    TOP   -> CTRL;
+    CTRL  -> BOT;
 
 
     // Additional customization
     {rank=same; TOP}
     {rank=same; INT_TOP}
-    {rank=same; CTRL; INT_MIN; INT_MINDOTS;
-                INT_MINUS; INT_ZERO;
-                INT_PLUS; INT_MAXDOTS;
-                INT_MAX; TUPLE}
+    {rank=same;
+      CTRL;
+      INT_MIN; INT_MINDOTS; INT_MINUS; INT_ZERO; INT_PLUS; INT_MAXDOTS; INT_MAX;
+      TUPLE
+    }
     {rank=same; INT_BOT}
     {rank=same; BOT;}
 }