diff options
| author | Hugo Herbelin | 2016-01-21 18:45:36 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2016-01-21 23:56:01 +0100 |
| commit | 176d8e004153e65688dc8ef4f22f7939fd6101b1 (patch) | |
| tree | 1a5343064619e3442c4cc0cb8da4e103167dc743 /intf | |
| parent | be0eca32fae93ed4793c2f839bb9e725b6a963d1 (diff) | |
New step on recent 9c2662eecc398f3 (strong invariants on tuple pattern).
- Fixing dead code, doc.
- Relaxing constraints on using an as-tuple in inversion.
Diffstat (limited to 'intf')
| -rw-r--r-- | intf/misctypes.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/intf/misctypes.mli b/intf/misctypes.mli index 3c6d59ff0c..1452bbc347 100644 --- a/intf/misctypes.mli +++ b/intf/misctypes.mli @@ -16,8 +16,6 @@ type patvar = Id.t (** Introduction patterns *) -type tuple_flag = bool (* tells pattern list should be list of fixed length *) - type 'constr intro_pattern_expr = | IntroForthcoming of bool | IntroNaming of intro_pattern_naming_expr |