diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-08-25 13:30:13 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-08-25 13:30:13 +0000 |
| commit | cf757d7c9e5013cca8d57c0e23afca5c2e519e4c (patch) | |
| tree | 12dea8d71798278873b812626d9c9d94d46d9c6c | |
| parent | 331fe042f6c4c295b7763ce490b4fcfed494365e (diff) | |
Added missing case for printing optional args
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5800 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/etc/pr_o.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/camlp4/etc/pr_o.ml b/camlp4/etc/pr_o.ml index 7cc2c8c87..d87566726 100644 --- a/camlp4/etc/pr_o.ml +++ b/camlp4/etc/pr_o.ml @@ -1544,6 +1544,8 @@ pr_patt.pr_levels := | <:patt< ~ $i$ : $p$ >> -> fun curr next dg k -> [: `S LO ("~" ^ i ^ ":"); `simple_patt p "" k :] + | <:patt< ? $i$ >> -> + fun curr next _ k -> [: `S LR ("?" ^ i); k :] | <:patt< ? $i$ : ($p$) >> -> fun curr next dg k -> if i = "" then [: `S LO "?"; `simple_patt p "" k :] |