summaryrefslogtreecommitdiff
path: root/parsing/pprintast.ml
diff options
context:
space:
mode:
authorJérémie Dimino <jeremie@dimino.org>2013-05-23 15:12:04 +0000
committerJérémie Dimino <jeremie@dimino.org>2013-05-23 15:12:04 +0000
commit8cee3aedf99a9649d96088e7ce31951b0fac0268 (patch)
treee739d6eaa06af1c118017378d8d86e0e9cf90918 /parsing/pprintast.ml
parent3beb7a5da092284677f3f58540d7c0c6374619f2 (diff)
downloadocaml-8cee3aedf99a9649d96088e7ce31951b0fac0268.tar.gz
Revert addition of raw literals to the parsetree
It turns out it is not possible to have the exact raw representation since a constant does not always correspond to exactly one token, so there is no point in making the AST more complex. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13702 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/pprintast.ml')
-rw-r--r--parsing/pprintast.ml3
1 files changed, 1 insertions, 2 deletions
diff --git a/parsing/pprintast.ml b/parsing/pprintast.ml
index 3a53684b9b..36c6599ca1 100644
--- a/parsing/pprintast.ml
+++ b/parsing/pprintast.ml
@@ -167,8 +167,7 @@ class printer ()= object(self:'self)
| Lapply (y,s)->
pp f "%a(%a)" self#longident y self#longident s
method longident_loc f x = pp f "%a" self#longident x.txt
- method constant f (c, _) =
- match c with
+ method constant f = function
| Const_char i -> pp f "%C" i
| Const_string (i, None) -> pp f "%S" i
| Const_string (i, Some delim) -> pp f "{%s|%s|%s}" delim i delim