A collection of experiments, more or less organized.
Start handling `kind` (for validation inspection)
+40
+1
dune-project
+1
dune-project
+38
lib/pidgin/kind.ml
+38
lib/pidgin/kind.ml
···
1
+
type t =
2
+
| Any
3
+
| Or of t * t
4
+
| Null
5
+
| Unit
6
+
| Bool
7
+
| Int
8
+
| Int64
9
+
| Float
10
+
| Char
11
+
| String
12
+
| Pair of t * t
13
+
| List of t
14
+
| Constr of string * t option
15
+
| Record of (string * t) list
16
+
17
+
let rec to_string = function
18
+
| Any -> "any"
19
+
| Null -> "null"
20
+
| Unit -> "unit"
21
+
| Bool -> "bool"
22
+
| Int -> "int"
23
+
| Int64 -> "int64"
24
+
| Float -> "float"
25
+
| Char -> "char"
26
+
| String -> "string"
27
+
| Or (a, b) -> to_string a ^ " | " ^ to_string b
28
+
| Pair (a, b) -> to_string a ^ " * " ^ to_string b
29
+
| List xs -> "list(" ^ to_string xs ^ ")"
30
+
| Constr (k, Some v) -> "#" ^ k ^ "(" ^ to_string v ^ ")"
31
+
| Constr (k, None) -> "#" ^ k
32
+
| Record _ -> assert false
33
+
;;
34
+
35
+
(* module S = Set.Make (struct *)
36
+
(* type nonrec t = t *)
37
+
(* let compare *)
38
+
(* end) *)