make types printable

hazelgrove · Mar 1, 2024 · 6d35393 · 6d35393
1 parent 2804268
commit 6d35393
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/hazelnut/hazelnut.re b/hazelnut/hazelnut.re
@@ -5,15 +5,15 @@ let compare_string = String.compare;
 let compare_int = Int.compare;
 
 module Htyp = {
-  [@deriving (sexp, compare)]
+  [@deriving (sexp, compare, show({with_path: false}))]
   type t =
     | Arrow(t, t)
     | Num
     | Hole;
 };
 
 module Hexp = {
-  [@deriving (sexp, compare)]
+  [@deriving (sexp, compare, show({with_path: false}))]
   type t =
     | Var(string)
     | Lam(string, t)
@@ -26,15 +26,15 @@ module Hexp = {
 };
 
 module Ztyp = {
-  [@deriving (sexp, compare)]
+  [@deriving (sexp, compare, show({with_path: false}))]
   type t =
     | Cursor(Htyp.t)
     | LArrow(t, Htyp.t)
     | RArrow(Htyp.t, t);
 };
 
 module Zexp = {
-  [@deriving (sexp, compare)]
+  [@deriving (sexp, compare, show({with_path: false}))]
   type t =
     | Cursor(Hexp.t)
     | Lam(string, t)

diff --git a/hazelnut/hazelnut.rei b/hazelnut/hazelnut.rei
@@ -1,13 +1,13 @@
 module Htyp: {
-  [@deriving (sexp, compare)]
+  [@deriving (sexp, compare, show({with_path: false}))]
   type t =
     | Arrow(t, t)
     | Num
     | Hole;
 };
 
 module Hexp: {
-  [@deriving (sexp, compare)]
+  [@deriving (sexp, compare, show({with_path: false}))]
   type t =
     | Var(string)
     | Lam(string, t)
@@ -20,15 +20,15 @@ module Hexp: {
 };
 
 module Ztyp: {
-  [@deriving (sexp, compare)]
+  [@deriving (sexp, compare, show({with_path: false}))]
   type t =
     | Cursor(Htyp.t)
     | LArrow(t, Htyp.t)
     | RArrow(Htyp.t, t);
 };
 
 module Zexp: {
-  [@deriving (sexp, compare)]
+  [@deriving (sexp, compare, show({with_path: false}))]
   type t =
     | Cursor(Hexp.t)
     | Lam(string, t)