diff options
Diffstat (limited to 'typing/typedtree.ml')
| -rw-r--r-- | typing/typedtree.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/typedtree.ml b/typing/typedtree.ml index 53180a8065..ce217eee46 100644 --- a/typing/typedtree.ml +++ b/typing/typedtree.ml @@ -33,10 +33,10 @@ and pattern_desc = | Tpat_constant of constant | Tpat_tuple of pattern list | Tpat_construct of constructor_description * pattern list - | Tpat_variant of label * pattern option * row_desc + | Tpat_variant of label * pattern option * row_desc ref | Tpat_record of (label_description * pattern) list | Tpat_array of pattern list - | Tpat_or of pattern * pattern * Path.t option + | Tpat_or of pattern * pattern * row_desc option type partial = Partial | Total type optional = Required | Optional |