Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Fix build with OCaml 3.12.0

The quotation <:ctyp< $a$ $b$ >> doesn't work any more with OCaml
3.12.0+beta1; we manually expand it.

Bug-OCaml: http://caml.inria.fr/mantis/view.php?id=5080
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=586493
Signed-off-by: Stephane Glondu <steph@glondu.net>
  • Loading branch information...
commit dbe3064315d723c0838856ba13527ca6bbaf57e7 1 parent 87c5ca7
@glondu glondu authored thelema committed
Showing with 1 addition and 1 deletion.
  1. +1 −1  src/syntax/pa_strings/pa_format.ml
View
2  src/syntax/pa_strings/pa_format.ml
@@ -246,7 +246,7 @@ struct
<:expr< fun paren out x -> BatIO.nwrite out "<abstract>" >>
| <:ctyp@_loc< $id:id$ >> ->
<:expr< $id:map_id id$ >>
- | <:ctyp@_loc< $a$ $b$ >> ->
+ | Ast.TyApp (_loc, b, a) ->
<:expr< $vprinter_of_ctyp b$ $vprinter_of_ctyp a$ >>
| <:ctyp@_loc< $tup:t$ >> ->
let l = Ast.list_of_ctyp t [] in
Please sign in to comment.
Something went wrong with that request. Please try again.