Commit 66eea928 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Optional type in entry points of the grammar removed (workaround a bug of dypgen 20090430)

parent 74199152
......@@ -40,7 +40,7 @@ PREVIOUS_DIRS = ../utils ../logic
#ML = error.ml abstract_syntax.ml interface.ml environment.ml entry.ml data_parser.ml data_lexer.ml data_parsing.ml
ML = error.ml interface.ml environment.ml entry.ml syntactic_data_structures.ml acg_token.ml data_lexer.ml data_parser.ml interactive.ml
EXE_SOURCES = essai_sylvain.ml
EXE_SOURCES =
DYP = data_parser.dyp
CAMLLEX = data_lexer.mll
......
......@@ -176,11 +176,20 @@ EOI
<Abstract_syntax.location> LIN_ARROW
<(string*Abstract_syntax.location)> IDENT
<(string*Abstract_syntax.location)> SYMBOL
/*
%start <E.t> data
%start <E.Signature1.t -> E.Signature1.t> sig_entry
%start <E.Lexicon.t -> E.Lexicon.t> lex_entry
%start <(E.Signature1.term*E.Signature1.stype)> term_alone
*/
/* optional types for entry points are removed due to a bug in dypgen 20090430 */
%start data
%start sig_entry
%start lex_entry
%start term_alone
%relation atom<app<sym_app<binder atom_type<arrow_type
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment