aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/preferences.ml
diff options
context:
space:
mode:
authorGravatar Pierre Letouzey <pierre.letouzey@inria.fr>2016-07-26 14:22:42 +0200
committerGravatar Pierre Letouzey <pierre.letouzey@inria.fr>2016-07-26 14:40:23 +0200
commit1ca19082cf506c304b3c7945e72c0238f2aa9d1a (patch)
tree8a5310fa205569d8eafbfa6d0be71b0f2b3b2472 /ide/preferences.ml
parent273b8725e28e109b33f044079a36515d42068a8d (diff)
restore compatibility with gallium's camlp4 (broken by commit 8e07227c)
Apparently, in camlp4 (unlike camlp5) : - Something like "[ kwd = IDENT "foobar" -> .... kwd ... ]" produces a kwd of type token instead of string (which sounds reasonable ?). For now, I've replaced kwd by the explicit strings. Not so nice, but works with both camlp4 and camlp5 - A quotation of the form "let obj = ... in bar; baz" is not interpreted in the usual OCaml way, but rather as "(let obj = ... in bar); baz". Let's use instead "let obj = ... in let () = bar in baz", which works fine.
Diffstat (limited to 'ide/preferences.ml')
0 files changed, 0 insertions, 0 deletions