diff options
| author | Cliff Click <cliffc@acm.org> | 2025-01-06 09:53:05 -0800 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2025-01-15 15:07:30 -0800 |
| commit | 56d346ce2cb7c5ee4ab59e3d403d52d030670eca (patch) | |
| tree | 4d2a7310e36eb4e70bb3317f78abfac4e76474a1 /chapter18/docs | |
| parent | 4688bd4a724d2cb6f28d8e8233b8e70f268873d5 (diff) | |
| download | Simple-56d346ce2cb7c5ee4ab59e3d403d52d030670eca.tar.gz Simple-56d346ce2cb7c5ee4ab59e3d403d52d030670eca.zip | |
JSView for functions
Constants use glabel in JSView.
TypeFunPtr gprint uses "→" instead of "->"
Diffstat (limited to 'chapter18/docs')
| -rw-r--r-- | chapter18/docs/lattice.gv | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter18/docs/lattice.gv b/chapter18/docs/lattice.gv index f8af5718..8661082d 100644 --- a/chapter18/docs/lattice.gv +++ b/chapter18/docs/lattice.gv @@ -47,7 +47,7 @@ digraph Lattice { INT_CON0 -> INT_CON1 -> INT_CON [style=invis]; // ---------------------- - // Integers + // Floats FLT_TOP [label=<<B>⊤</B >:flt>, fillcolor=aqua, shape=oval]; FLT_BOT [label=<<B>⊥</B>:flt>, fillcolor=aqua, shape=oval]; |