diff options
Diffstat (limited to 'lib/syntax')
| -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 (* |