New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[camlp4] parsing bug with labels #8307
Comments
Comment author: administrator From: oandrieu@nerim.net
J'ai essaye' ton patch, mais ca ne semble pas resoudre tous les
fun (f : ?x:int -> bool -> float) -> f ;;
Malheureusement je ne m'y connais pas assez en camlp4 pour savoir Jacques |
Comment author: administrator Merci pour le rapport, et le fix partiel. C'est réparé dans le CVS (à -- Michel oandrieu@nerim.net wrote/écrivait (Tue, Sep 30, 2003 at 03:48:34AM +0200):
|
Comment author: administrator Fixed by MM, 2003/09/30. |
Original bug ID: 1860
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Bonjour,
Apparemment camlp4 a des problèmes avec certains labels :
,----
| $ cat a.ml
| external a : bla:unit -> bli:unit -> unit = "truc"
| $ ocamlc -v
| The Objective Caml compiler, version 3.07
| Standard library directory: /home/oliv/usr/lib/ocaml
| $ ocamlc -c -i -pp camlp4o a.ml
| File "a.ml", line 1, characters 28-29:
| Parse error: '=' expected after [type] (in [str_item])
| Preprocessor error
`----
Après un (trés rapide) coup d'oeuil au code j'ai changé ceci et ça
remarche :
--- camlp4/etc/pa_o.ml~ 2003-09-25 14:05:05.000000000 +0200
+++ camlp4/etc/pa_o.ml 2003-09-30 03:40:04.000000000 +0200
@@ -1149,7 +1149,7 @@
;
(* Labels *)
ctyp: AFTER "arrow"
[ i = lident_colon; t1 = ctyp LEVEL "star"; "->"; t2 = SELF ->
<:ctyp< ~
| i = OPTLABEL; t1 = ctyp LEVEL "star"; "->"; t2 = SELF ->
--
Olivier
The text was updated successfully, but these errors were encountered: