diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-07-29 11:54:19 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-07-29 11:54:19 +0000 |
commit | f301b1418fbaa20c42d99a42300d216afe216e49 (patch) | |
tree | e5ead3a2e0795a0d4e7ce86e15d59ce436317769 /yacc/reader.c | |
parent | c8ded4f8d3b2827714f80654a4a7e9bdbf31c456 (diff) | |
download | ocaml-f301b1418fbaa20c42d99a42300d216afe216e49.tar.gz |
Ajout contraintes de types sur points d'entree dans fichier .ml genere
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'yacc/reader.c')
-rw-r--r-- | yacc/reader.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/yacc/reader.c b/yacc/reader.c index ea21088ec3..eaf0593fec 100644 --- a/yacc/reader.c +++ b/yacc/reader.c @@ -1674,11 +1674,11 @@ void make_goal(void) bc->value = (unsigned char) bp->entry; pitem[nitems++] = bc; pitem[nitems++] = bp; - fprintf(entry_file, - "let %s lexfun lexbuf = yyparse yytables %d lexfun lexbuf\n", - bp->name, bp->entry); if (bp->tag == NULL) entry_without_type(bp->name); + fprintf(entry_file, + "let %s (lexfun : Lexing.lexbuf -> token) (lexbuf : Lexing.lexbuf) =\n (yyparse yytables %d lexfun lexbuf : %s)\n", + bp->name, bp->entry, bp->tag); fprintf(interface_file, "val %s :\n (Lexing.lexbuf -> token) -> Lexing.lexbuf -> %s\n", bp->name, |