diff options
| author | Nathan Ringo <nathan@remexre.com> | 2024-01-19 20:59:19 -0600 |
|---|---|---|
| committer | Nathan Ringo <nathan@remexre.com> | 2024-01-19 20:59:19 -0600 |
| commit | d9e3caab5ed77eff9263c416b457f110b1f29ace (patch) | |
| tree | d7bf902d633b645559d79189b63331db8951c2bc /discocaml/draw_tree.ml | |
| parent | dd56c5fdbe875e46eeb0a0af8d28e96acb087ca4 (diff) | |
λ β.
Diffstat (limited to 'discocaml/draw_tree.ml')
| -rw-r--r-- | discocaml/draw_tree.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/discocaml/draw_tree.ml b/discocaml/draw_tree.ml index e04a59c..3d01412 100644 --- a/discocaml/draw_tree.ml +++ b/discocaml/draw_tree.ml @@ -8,11 +8,11 @@ let add_node (fmt : Format.formatter) (i : expr index) (expr : expr) : unit = " expr%d [fontname=\"CMU Typewriter Text Bold\", label=\"apply\"];\n" i.index | Int n -> Format.fprintf fmt " expr%d [label=\"%d\"];\n" i.index n - | Lam (_, _) -> Format.fprintf fmt " expr%d [label=\"λ\"];\n" i.index + | Lam _ -> Format.fprintf fmt " expr%d [label=\"λ\"];\n" i.index | Prim (Add, _) -> Format.fprintf fmt " expr%d [label=\"+\"];\n" i.index | Prim (Sub, _) -> Format.fprintf fmt " expr%d [label=\"-\"];\n" i.index | Prim (Mul, _) -> Format.fprintf fmt " expr%d [label=\"*\"];\n" i.index - | Var n -> Format.fprintf fmt " expr%d [label=%S];\n" i.index n + | Var x -> Format.fprintf fmt " expr%d [label=%S];\n" i.index x let add_expr_edges (ast : 'a ast) (fmt : Format.formatter) (nodes : IntSet.t ref) : expr index -> unit = |