diff options
Diffstat (limited to 'users/wpcarro/scratch/compiler/prettify.ml')
| -rw-r--r-- | users/wpcarro/scratch/compiler/prettify.ml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/users/wpcarro/scratch/compiler/prettify.ml b/users/wpcarro/scratch/compiler/prettify.ml new file mode 100644 index 0000000000..7903ad3694 --- /dev/null +++ b/users/wpcarro/scratch/compiler/prettify.ml @@ -0,0 +1,9 @@ +open Types + +(* Pretty-print the type, t. *) +let rec type' (t : _type) : string = + match t with + | TypeInt -> "Integer" + | TypeBool -> "Boolean" + | TypeVariable k -> Printf.sprintf "%s" k + | TypeArrow (a, b) -> Printf.sprintf "%s -> %s" (type' a) (type' b) |