diff options
| author | Chimrod <> | 2024-02-03 17:41:28 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-02-08 11:45:10 +0100 |
| commit | 35ef1827a216a1deb6d15f916ff197b0c75bc83e (patch) | |
| tree | e728adf4c035ae29cf1dec37e0d01b4590a3ee4d | |
| parent | 82c63921c09e2b07d3d5fbf82a912bbe707ffecb (diff) | |
Updated the interface for default expression analyzer
| -rw-r--r-- | lib/syntax/dead_end.ml | 1 | ||||
| -rw-r--r-- | lib/syntax/default.ml | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/lib/syntax/dead_end.ml b/lib/syntax/dead_end.ml index 98c361e..832a97a 100644 --- a/lib/syntax/dead_end.ml +++ b/lib/syntax/dead_end.ml @@ -6,7 +6,6 @@ let active = ref false module Expression = struct type t = unit - type t' = unit include Default.Expression (struct type nonrec t = t diff --git a/lib/syntax/default.ml b/lib/syntax/default.ml index 9e9a8ef..d345401 100644 --- a/lib/syntax/default.ml +++ b/lib/syntax/default.ml @@ -17,6 +17,8 @@ module Expression (T' : T) = struct If missing, the index should be considered as [0]. *) + type t' = T'.t + let ident : (S.pos, T'.t) S.variable -> T'.t = fun _ -> T'.default (* |