Commit 6d0a997c authored by POTTIER Francois's avatar POTTIER Francois

Updated expected test output.

These change because "minimal" information is now printed at -la 2.
parent 626fc91a
......@@ -305,6 +305,123 @@ first(arguments) = Llparen
first(argument_list) = XMLpi XMLotag_open XMLcomment XMLcdata Ltrue Ltilde Lstring Lstar Lregexp Lplus Lnull Lminus Llparen Llbracket Llbrace Lint Lincr Lident Lfloat Lfalse Ldecr Lbang Lat LCcomment KWvoid KWtypeof KWthis KWnew KWfunction KWdelete CKWxml CKWnamespace CKWeach
first(additive_init_expression) = Ltrue Ltilde Lstring Lregexp Lplus Lnull Lminus Llparen Llbracket Lint Lincr Lident Lfloat Lfalse Ldecr Lbang KWvoid KWtypeof KWthis KWnew KWdelete CKWxml CKWnamespace CKWeach
first(additive_expression) = XMLpi XMLotag_open XMLcomment XMLcdata Ltrue Ltilde Lstring Lstar Lregexp Lplus Lnull Lminus Llparen Llbracket Llbrace Lint Lincr Lident Lfloat Lfalse Ldecr Lbang Lat LCcomment KWvoid KWtypeof KWthis KWnew KWfunction KWdelete CKWxml CKWnamespace CKWeach
minimal(xml_tag_content_option) = (* 1 *) XMLtag_chars
minimal(xml_tag_content) = (* 1 *) XMLtag_chars
minimal(xml_markup) = (* 1 *) XMLcomment
minimal(xml_list_initialiser) = (* 5 *) XMLotag_open XMLtag_close XMLcomment XMLctag_open XMLtag_close
minimal(xml_initialiser) = (* 1 *) XMLcomment
minimal(xml_element_content) = (* 1 *) XMLcomment
minimal(xml_element) = (* 3 *) XMLotag_open XMLtag_chars XMLempty_tag_close
minimal(with_statement) = (* 5 *) KWwith Llparen KWthis Lrparen Lsemicolon
minimal(wildcard_identifier) = (* 1 *) Lstar
minimal(variable_statement) = (* 3 *) KWvar Lident Lsemicolon
minimal(variable_declaration_no_in) = (* 1 *) Lident
minimal(variable_declaration_list_no_in) = (* 1 *) Lident
minimal(variable_declaration_list) = (* 1 *) Lident
minimal(variable_declaration) = (* 1 *) Lident
minimal(unary_init_expression) = (* 1 *) KWthis
minimal(unary_expression) = (* 1 *) KWthis
minimal(try_statement) = (* 6 *) KWtry Llbrace Lrbrace KWfinally Llbrace Lrbrace
minimal(throw_statement) = (* 3 *) KWthrow KWthis Lsemicolon
minimal(switch_statement) = (* 6 *) KWswitch Llparen KWthis Lrparen Llbrace Lrbrace
minimal(statement) = (* 1 *) Lsemicolon
minimal(source_elements) = (* 1 *) Leof
minimal(source_element) = (* 1 *) Lsemicolon
minimal(shift_init_expression) = (* 1 *) KWthis
minimal(shift_expression) = (* 1 *) KWthis
minimal(sequence_of_init_expression) = (* 1 *) KWthis
minimal(sequence_of_expression_no_in) = (* 1 *) KWthis
minimal(sequence_of_expression) = (* 1 *) KWthis
minimal(return_statement) = (* 2 *) KWreturn Lsemicolon
minimal(relational_init_expression) = (* 1 *) KWthis
minimal(relational_expression_no_in) = (* 1 *) KWthis
minimal(relational_expression) = (* 1 *) KWthis
minimal(qualified_identifier) = (* 3 *) Lident Ldcolon Lident
minimal(property_selector) = (* 1 *) Lident
minimal(property_name_and_value_list) = (* 3 *) Lident Lcolon KWthis
minimal(property_name) = (* 1 *) Lident
minimal(property_identifier) = (* 1 *) Lstar
minimal(program) = (* 2 *) Leof Leof
minimal(primary_init_expression) = (* 1 *) KWthis
minimal(primary_expression) = (* 1 *) KWthis
minimal(postfix_init_expression) = (* 1 *) KWthis
minimal(postfix_expression) = (* 1 *) KWthis
minimal(optional_statement_list) = (* 0 *)
minimal(optional_expression_no_in) = (* 0 *)
minimal(optional_expression) = (* 0 *)
minimal(object_literal) = (* 2 *) Llbrace Lrbrace
minimal(numeric_literal) = (* 1 *) Lfloat
minimal(non_empty_statement_list) = (* 1 *) Lsemicolon
minimal(non_empty_element_list) = (* 1 *) Lcomma
minimal(new_init_expression) = (* 1 *) KWthis
minimal(new_expression) = (* 1 *) KWthis
minimal(multiplicative_init_expression) = (* 1 *) KWthis
minimal(multiplicative_expression) = (* 1 *) KWthis
minimal(member_init_expression) = (* 1 *) KWthis
minimal(member_expression) = (* 1 *) KWthis
minimal(logical_or_init_expression) = (* 1 *) KWthis
minimal(logical_or_expression_no_in) = (* 1 *) KWthis
minimal(logical_or_expression) = (* 1 *) KWthis
minimal(logical_and_init_expression) = (* 1 *) KWthis
minimal(logical_and_expression_no_in) = (* 1 *) KWthis
minimal(logical_and_expression) = (* 1 *) KWthis
minimal(literal) = (* 1 *) Lfloat
minimal(left_hand_side_init_expression) = (* 1 *) KWthis
minimal(left_hand_side_expression) = (* 1 *) KWthis
minimal(labelled_statement) = (* 3 *) Lident Lcolon Lsemicolon
minimal(iteration_statement) = (* 5 *) KWwhile Llparen KWthis Lrparen Lsemicolon
minimal(initialiser_no_in) = (* 2 *) Lassign KWthis
minimal(initialiser) = (* 2 *) Lassign KWthis
minimal(init_expression) = (* 1 *) KWthis
minimal(if_statement) = (* 5 *) KWif Llparen KWthis Lrparen Lsemicolon
minimal(identifier) = (* 1 *) Lident
minimal(function_expression) = (* 6 *) KWfunction Llparen Lrparen Llbrace Leof Lrbrace
minimal(function_declaration) = (* 7 *) KWfunction Lident Llparen Lrparen Llbrace Leof Lrbrace
minimal(function_body) = (* 1 *) Leof
minimal(formal_parameter_list) = (* 0 *)
minimal(for_bracket) = (* 2 *) Lsemicolon Lsemicolon
minimal(finally_prod) = (* 3 *) KWfinally Llbrace Lrbrace
minimal(expression_statement) = (* 2 *) KWthis Lsemicolon
minimal(expression_no_in) = (* 1 *) KWthis
minimal(expression) = (* 1 *) KWthis
minimal(equality_init_expression) = (* 1 *) KWthis
minimal(equality_expression_no_in) = (* 1 *) KWthis
minimal(equality_expression) = (* 1 *) KWthis
minimal(empty_statement) = (* 1 *) Lsemicolon
minimal(elision) = (* 1 *) Lcomma
minimal(default_xml_namespace_statement) = (* 4 *) CKWdefaultxmlnamespace Lassign KWthis Lsemicolon
minimal(default_clause) = (* 2 *) KWdefault Lcolon
minimal(continue_statement) = (* 2 *) KWcontinue Lsemicolon
minimal(conditional_init_expression) = (* 1 *) KWthis
minimal(conditional_expression_no_in) = (* 1 *) KWthis
minimal(conditional_expression) = (* 1 *) KWthis
minimal(catch_prod) = (* 6 *) KWcatch Llparen Lident Lrparen Llbrace Lrbrace
minimal(case_clauses) = (* 3 *) KWcase KWthis Lcolon
minimal(case_clause) = (* 3 *) KWcase KWthis Lcolon
minimal(case_block) = (* 2 *) Llbrace Lrbrace
minimal(call_init_expression) = (* 3 *) KWthis Llparen Lrparen
minimal(call_expression) = (* 3 *) KWthis Llparen Lrparen
minimal(break_statement) = (* 2 *) KWbreak Lsemicolon
minimal(block) = (* 2 *) Llbrace Lrbrace
minimal(bitwise_xor_init_expression) = (* 1 *) KWthis
minimal(bitwise_xor_expression_no_in) = (* 1 *) KWthis
minimal(bitwise_xor_expression) = (* 1 *) KWthis
minimal(bitwise_or_init_expression) = (* 1 *) KWthis
minimal(bitwise_or_expression_no_in) = (* 1 *) KWthis
minimal(bitwise_or_expression) = (* 1 *) KWthis
minimal(bitwise_and_init_expression) = (* 1 *) KWthis
minimal(bitwise_and_expression_no_in) = (* 1 *) KWthis
minimal(bitwise_and_expression) = (* 1 *) KWthis
minimal(attribute_identifier) = (* 2 *) Lat Lident
minimal(assignment_operator) = (* 1 *) Lassign
minimal(assignment_init_expression) = (* 1 *) KWthis
minimal(assignment_expression_no_in) = (* 1 *) KWthis
minimal(assignment_expression) = (* 1 *) KWthis
minimal(array_literal) = (* 2 *) Llbracket Lrbracket
minimal(arguments) = (* 2 *) Llparen Lrparen
minimal(argument_list) = (* 1 *) KWthis
minimal(additive_init_expression) = (* 1 *) KWthis
minimal(additive_expression) = (* 1 *) KWthis
follow(xml_tag_content_option) = XMLtag_close XMLempty_tag_close
follow(xml_tag_content) = XMLwhitespace XMLtag_close XMLtag_chars XMLempty_tag_close XMLassign Llbrace
follow(xml_markup) = XMLtext XMLpi XMLotag_open XMLctag_open XMLcomment XMLcdata Lxorassign Lxor Lstarassign Lstar Lslashassign Lslash Lsemicolon Lsc_or Lsc_and Lrunsignedshiftassign Lrunsignedshift Lrsignedshiftassign Lrsignedshift Lrparen Lremassign Lrem Lrbracket Lrbrace Lplusassign Lplus Lorassign Lneq Lne Lminusassign Lminus Llshiftassign Llshift Llparen Lless Lle Llbracket Llbrace Lincr Lhook Lgreater Lge Leqq Leq Ldot Ldecr Lddot Lcomma Lcolon Lbit_or Lbit_and Lassign Landassign KWinstanceof KWin
......
......@@ -129,6 +129,59 @@ first(annotated_collection_type) = LBRACKETLT LBRACKETHASH LBRACKETCOLON LBRACKE
first(anno_expr) = UPSERT_WITH_BEFORE UPSERT_WITH UPDATE_SUFFIX UPDATE UNKNOWN UNIT STRING SORT SIZE SEND PEEK_WITH_VID PEEK NOTHING NOT NEG MIN_WITH MAP LPAREN LET LBRACKETLT LBRACKETHASH LBRACKETCOLON LBRACKETBAR LBRACKET LBRACELT LBRACECOLON LBRACEBAR LBRACE JUST ITERATE IP INTEGER INSERT INDIRECT IGNORE IF IDENTIFIER GROUPBYAGGREGATE FLOAT FLATTEN FILTERGEQ FILTER DO DELETE_PREFIX DELETE CASE BOOL BIND BACKSLASH AT_WITH AGGREGATEV AGGREGATE
first(address) = IP IDENTIFIER
first(access) = UPSERT_WITH_BEFORE UPSERT_WITH UPDATE_SUFFIX UPDATE UNKNOWN UNIT STRING SORT SIZE SEND PEEK_WITH_VID PEEK NOTHING NOT NEG MIN_WITH MAP LPAREN LET LBRACKETLT LBRACKETHASH LBRACKETCOLON LBRACKETBAR LBRACKET LBRACELT LBRACECOLON LBRACEBAR LBRACE JUST ITERATE IP INTEGER INSERT INDIRECT IGNORE IF IDENTIFIER GROUPBYAGGREGATE FLOAT FLATTEN FILTERGEQ FILTER DO DELETE_PREFIX DELETE CASE BOOL BIND BACKSLASH AT_WITH AGGREGATEV AGGREGATE
minimal(variable) = (* 1 *) IDENTIFIER
minimal(value_typed_identifier_list) = (* 3 *) IDENTIFIER COLON TYPE
minimal(value_typed_identifier) = (* 3 *) IDENTIFIER COLON TYPE
minimal(type_expr_tuple) = (* 1 *) TYPE
minimal(type_expr_list) = (* 1 *) TYPE
minimal(type_expr) = (* 1 *) TYPE
minimal(tuple_index) = (* 5 *) UNKNOWN PERIOD LBRACKET INTEGER RBRACKET
minimal(tuple) = (* 1 *) UNKNOWN
minimal(transformers) = (* 2 *) MAP error
minimal(stream) = (* 4 *) STREAM LPAREN UNKNOWN RPAREN
minimal(resource_pattern) = (* 1 *) IDENTIFIER
minimal(resource) = (* 5 *) SOURCE PATTERN IDENTIFIER GETS IDENTIFIER
minimal(range) = (* 9 *) LBRACE UNKNOWN COLON COLON UNKNOWN COLON COLON UNKNOWN RBRACE
minimal(program_test) = (* 3 *) CONSUME IDENTIFIER error
minimal(program) = (* 2 *) CONSUME IDENTIFIER
minimal(predicate) = (* 2 *) NOT UNKNOWN
minimal(named_expr_list) = (* 3 *) UNKNOWN GETS error
minimal(mutation) = (* 3 *) UPSERT_WITH_BEFORE LPAREN error
minimal(letin) = (* 2 *) LET error
minimal(lambda) = (* 2 *) BACKSLASH error
minimal(int_list_list) = (* 1 *) INTEGER
minimal(int_list) = (* 1 *) INTEGER
minimal(instruction) = (* 2 *) CONSUME IDENTIFIER
minimal(identifier_stream) = (* 1 *) IDENTIFIER
minimal(id_unknown) = (* 1 *) UNKNOWN
minimal(id_list) = (* 1 *) UNKNOWN
minimal(handle) = (* 6 *) FILE LPAREN STRING COMMA IDENTIFIER RPAREN
minimal(fn_type_expr_list) = (* 1 *) TYPE
minimal(flow_statement) = (* 2 *) CONSUME IDENTIFIER
minimal(flow_program) = (* 2 *) CONSUME IDENTIFIER
minimal(expression_test_list) = (* 3 *) UNKNOWN EXPECTED error
minimal(expression_test) = (* 3 *) UNKNOWN EXPECTED error
minimal(expr_seq) = (* 1 *) UNKNOWN
minimal(expr_list) = (* 1 *) UNKNOWN
minimal(expr) = (* 1 *) UNKNOWN
minimal(declaration) = (* 2 *) CONSUME IDENTIFIER
minimal(constant) = (* 1 *) UNKNOWN
minimal(conditional) = (* 2 *) IF error
minimal(collection_type) = (* 3 *) LBRACE TYPE RBRACE
minimal(collection) = (* 3 *) LBRACE RBRACE error
minimal(check_expr) = (* 3 *) IDENTIFIER COLON UNKNOWN
minimal(case) = (* 2 *) CASE error
minimal(block) = (* 4 *) DO LBRACE UNKNOWN RBRACE
minimal(bind) = (* 2 *) BIND error
minimal(arithmetic) = (* 2 *) NEG error
minimal(arg_list) = (* 1 *) UNKNOWN
minimal(arg) = (* 1 *) UNKNOWN
minimal(annotations) = (* 1 *) IDENTIFIER
minimal(annotation) = (* 1 *) IDENTIFIER
minimal(annotated_collection_type) = (* 3 *) LBRACE TYPE RBRACE
minimal(anno_expr) = (* 1 *) UNKNOWN
minimal(address) = (* 3 *) IDENTIFIER COLON INTEGER
minimal(access) = (* 4 *) PEEK LPAREN UNKNOWN RPAREN
follow(variable) = error UPSERT_WITH_BEFORE UPSERT_WITH UPDATE_SUFFIX UPDATE UNKNOWN UNIT TRIGGER TIMES THEN STRING SOURCE SORT SIZE SINK SEND SEMICOLON RPAREN ROLE RBRACKETLT RBRACKETHASH RBRACKETCOLON RBRACKET RBRACELT RBRACECOLON RBRACEBAR RBRACE PLUS PERIOD PEEK_WITH_VID PEEK OR OF NOTHING NOT NETWORK NEQ NEG MODULO MIN_WITH MAP LT LPAREN LET LEQ LBRACKETLT LBRACKETHASH LBRACKETGEQ LBRACKETCOLON LBRACKETBAR LBRACKET LBRACELT LBRACECOLON LBRACEBAR LBRACE LARROW JUST ITERATE IP INTEGER INSERT INDIRECT IN IGNORE IF IDENTIFIER GT GROUPBYAGGREGATE GETS GEQ FOREIGN FLOAT FLATTEN FILTERGEQ FILTER EXPECTED EQ ELSE DO DIVIDE DELETE_PREFIX DELETE DEFAULT DECLARE CONSUME CONCAT COMMA COLON CASE BOOL BINDFLOW BIND BAR BACKSLASH AT_WITH AS ANNOTATE AND AGGREGATEV AGGREGATE #
follow(value_typed_identifier_list) = RBRACE
follow(value_typed_identifier) = RPAREN RBRACE RARROW LBRACE COMMA
......
......@@ -219,6 +219,97 @@ first(ass_ens) = KWensure
first(ass_check) = KWproof
first(arrow_type) = UIDENTIFIER LPAREN LIDENTIFIER LBRACKET
first(actual_generics) = LBRACKET
minimal(use_block_opt) = (* 0 *)
minimal(use_block) = (* 3 *) KWuse LIDENTIFIER KWend
minimal(uidentifier_list) = (* 1 *) UIDENTIFIER
minimal(type_nt) = (* 1 *) UIDENTIFIER
minimal(type_list_min2) = (* 3 *) UIDENTIFIER COMMA UIDENTIFIER
minimal(type_list) = (* 1 *) UIDENTIFIER
minimal(tuple_type) = (* 5 *) LPAREN UIDENTIFIER COMMA UIDENTIFIER RPAREN
minimal(star_type) = (* 2 *) UIDENTIFIER TIMES
minimal(simple_type) = (* 1 *) UIDENTIFIER
minimal(separator) = (* 1 *) SEMICOL
minimal(return_type_opt) = (* 0 *)
minimal(return_type) = (* 2 *) COLON UIDENTIFIER
minimal(require_block_opt) = (* 0 *)
minimal(require_block) = (* 2 *) KWrequire KWResult
minimal(rename_list) = (* 3 *) LIDENTIFIER KWas LIDENTIFIER
minimal(rename_item) = (* 3 *) LIDENTIFIER KWas LIDENTIFIER
minimal(qmark_type) = (* 2 *) UIDENTIFIER QMARK
minimal(proof_seq) = (* 1 *) KWResult
minimal(proof_expr_struct) = (* 5 *) KWrequire KWResult KWensure KWResult KWend
minimal(proof_expr) = (* 1 *) KWResult
minimal(proof_block) = (* 2 *) KWproof KWResult
minimal(proof_all_expr_inner) = (* 7 *) KWall LPAREN LIDENTIFIER RPAREN KWensure KWResult KWend
minimal(proof_all_expr) = (* 4 *) KWall KWensure KWResult KWend
minimal(path) = (* 2 *) LIDENTIFIER DOT
minimal(parent_list) = (* 1 *) UIDENTIFIER
minimal(parent) = (* 1 *) UIDENTIFIER
minimal(optsemi) = (* 0 *)
minimal(optghost) = (* 0 *)
minimal(opt_nl) = (* 0 *)
minimal(operator_expr) = (* 2 *) PLUS KWResult
minimal(operator) = (* 1 *) PLUS
minimal(one_module) = (* 1 *) LIDENTIFIER
minimal(nameopconst_info) = (* 1 *) LIDENTIFIER
minimal(nameopconst) = (* 1 *) LIDENTIFIER
minimal(named_feature) = (* 3 *) LIDENTIFIER COLON UIDENTIFIER
minimal(name_sig) = (* 1 *) LIDENTIFIER
minimal(module_list) = (* 1 *) LIDENTIFIER
minimal(local_list) = (* 1 *) LIDENTIFIER
minimal(local_declaration) = (* 1 *) LIDENTIFIER
minimal(local_block) = (* 0 *)
minimal(list_type) = (* 3 *) LBRACKET UIDENTIFIER RBRACKET
minimal(inherit_clause) = (* 0 *)
minimal(info_expr) = (* 1 *) KWResult
minimal(implementation_note) = (* 2 *) KWnote LIDENTIFIER
minimal(implementation_block) = (* 2 *) KWdo KWResult
minimal(identifier_list) = (* 1 *) LIDENTIFIER
minimal(header_mark) = (* 0 *)
minimal(formal_generic) = (* 3 *) UIDENTIFIER COLON UIDENTIFIER
minimal(formal_arguments_opt) = (* 0 *)
minimal(formal_arguments_info) = (* 3 *) LPAREN LIDENTIFIER RPAREN
minimal(formal_arguments) = (* 3 *) LPAREN LIDENTIFIER RPAREN
minimal(file) = (* 0 *)
minimal(feature_implementation) = (* 1 *) KWdeferred
minimal(feature_body_opt) = (* 0 *)
minimal(feature_body) = (* 2 *) KWdeferred KWend
minimal(feature_adaptation) = (* 0 *)
minimal(featopconst) = (* 1 *) KWtrue
minimal(expr) = (* 1 *) KWResult
minimal(exp_then_part_list) = (* 3 *) KWResult KWthen KWResult
minimal(exp_then_part) = (* 3 *) KWResult KWthen KWResult
minimal(exp_inspect) = (* 7 *) KWinspect KWResult KWcase KWResult KWthen KWResult KWend
minimal(exp_else_part) = (* 0 *)
minimal(exp_conditional) = (* 5 *) KWif KWResult KWthen KWResult KWend
minimal(exp_case_list) = (* 4 *) KWcase KWResult KWthen KWResult
minimal(exp_case) = (* 4 *) KWcase KWResult KWthen KWResult
minimal(entity_list) = (* 1 *) LIDENTIFIER
minimal(entity_group) = (* 1 *) LIDENTIFIER
minimal(ensure_block) = (* 2 *) KWensure KWResult
minimal(elem_type) = (* 1 *) UIDENTIFIER
minimal(dotted_id_list) = (* 1 *) LIDENTIFIER
minimal(do_block) = (* 2 *) KWdo KWResult
minimal(decls) = (* 0 *)
minimal(decl) = (* 3 *) KWclass UIDENTIFIER KWend
minimal(create_clause) = (* 0 *)
minimal(constructor_list) = (* 1 *) LIDENTIFIER
minimal(constructor) = (* 1 *) LIDENTIFIER
minimal(compound_list) = (* 1 *) KWResult
minimal(compound) = (* 1 *) KWResult
minimal(class_name) = (* 1 *) UIDENTIFIER
minimal(class_generics) = (* 0 *)
minimal(class_declaration) = (* 3 *) KWclass UIDENTIFIER KWend
minimal(atomic_expr) = (* 1 *) KWResult
minimal(ass_seq) = (* 1 *) KWResult
minimal(ass_req_opt) = (* 0 *)
minimal(ass_req) = (* 2 *) KWrequire KWResult
minimal(ass_imp) = (* 0 *)
minimal(ass_feat) = (* 4 *) KWall KWensure KWResult KWend
minimal(ass_ens) = (* 2 *) KWensure KWResult
minimal(ass_check) = (* 3 *) KWproof KWResult SEMICOL
minimal(arrow_type) = (* 3 *) UIDENTIFIER ARROW UIDENTIFIER
minimal(actual_generics) = (* 0 *)
follow(use_block_opt) = #
follow(use_block) = UIDENTIFIER SEMICOL NUMBER LPAREN LIDENTIFIER KWtrue KWimmutable KWfalse KWdeferred KWclass KWcase KWall #
follow(uidentifier_list) = RBRACKET
......
......@@ -5,6 +5,8 @@ nullable(expr) = false
nullable(declarations) = false
first(expr) = VAR FAIL CONST
first(declarations) = VAR
minimal(expr) = (* 1 *) VAR
minimal(declarations) = (* 4 *) VAR EQUAL VAR EOF
follow(expr) = PLUS EOF
follow(declarations) = #
Built an LR(0) automaton with 11 states.
......
......@@ -27,6 +27,19 @@ first(components) = VAL
first(bindings) = LIDENT
first(binding) = LIDENT
first(atomic_expression) = MIXIN LPAREN LIDENT LCURLY
minimal(variables) = (* 0 *)
minimal(unary_expression) = (* 1 *) LIDENT
minimal(toplevel) = (* 2 *) LIDENT EOF
minimal(summand_expression) = (* 1 *) LIDENT
minimal(record_fields) = (* 0 *)
minimal(lident_pun) = (* 1 *) LIDENT
minimal(fields) = (* 0 *)
minimal(expression) = (* 1 *) LIDENT
minimal(dependencies) = (* 0 *)
minimal(components) = (* 0 *)
minimal(bindings) = (* 3 *) LIDENT EQUAL LIDENT
minimal(binding) = (* 3 *) LIDENT EQUAL LIDENT
minimal(atomic_expression) = (* 1 *) LIDENT
follow(variables) = RSQUARE LIDENT
follow(unary_expression) = VAL RPAREN RCURLY PLUS IN EOF END AND
follow(toplevel) = #
......
......@@ -39,6 +39,25 @@ first(ArrowType) = UCID TTOP LPAREN LCURLY
first(AppTerm) = LPAREN LCURLY LCID
first(AType) = UCID TTOP LPAREN LCURLY
first(ATerm) = LPAREN LCURLY LCID
minimal(toplevel) = (* 1 *) EOF
minimal(Type) = (* 1 *) UCID
minimal(TyBinder) = (* 0 *)
minimal(TermSeq) = (* 1 *) LCID
minimal(Term) = (* 1 *) LCID
minimal(Pattern) = (* 1 *) USCORE
minimal(PathTerm) = (* 1 *) LCID
minimal(PatFields) = (* 0 *)
minimal(OType) = (* 0 *)
minimal(NEPatFields) = (* 3 *) LCID EQ USCORE
minimal(NEFields) = (* 3 *) LCID EQ LCID
minimal(NEFieldTypes) = (* 3 *) LCID COLON UCID
minimal(Fields) = (* 0 *)
minimal(FieldTypes) = (* 0 *)
minimal(Binder) = (* 2 *) COLON UCID
minimal(ArrowType) = (* 1 *) UCID
minimal(AppTerm) = (* 1 *) LCID
minimal(AType) = (* 1 *) UCID
minimal(ATerm) = (* 1 *) LCID
follow(toplevel) = #
follow(Type) = SEMI RSQUARE RPAREN RCURLY EQ DOT COMMA
follow(TyBinder) = SEMI
......
......@@ -55,6 +55,33 @@ first(expfactor) = error QUOTE OUTER OCAML NEUTRAL LPAREN LID LANGLE INNER ATOM
first(declarations) = TYPE SORT IDENTIFIER CONTAINER
first(declaration) = TYPE SORT IDENTIFIER CONTAINER
first(container) = UID LID
minimal(typevars) = (* 2 *) QUOTE LID
minimal(typevar) = (* 2 *) QUOTE LID
minimal(sorts) = (* 1 *) LID
minimal(prologue) = (* 0 *)
minimal(phrase) = (* 1 *) EOF
minimal(patsummands) = (* 2 *) BAR UID
minimal(patsummand) = (* 2 *) BAR UID
minimal(patrhs) = (* 1 *) OCAML
minimal(patmodifier) = (* 1 *) INNER
minimal(patlfactors) = (* 1 *) error
minimal(patlfactor) = (* 1 *) error
minimal(patfactors) = (* 1 *) OCAML
minimal(patfactor) = (* 1 *) OCAML
minimal(params_and_set_current) = (* 0 *)
minimal(params) = (* 0 *)
minimal(optional_semicolon) = (* 0 *)
minimal(identifier) = (* 1 *) LID
minimal(expsummands) = (* 2 *) BAR UID
minimal(expsummand) = (* 2 *) BAR UID
minimal(exprhs) = (* 1 *) OCAML
minimal(explfactors) = (* 1 *) error
minimal(explfactor) = (* 1 *) error
minimal(expfactors) = (* 1 *) OCAML
minimal(expfactor) = (* 1 *) OCAML
minimal(declarations) = (* 0 *)
minimal(declaration) = (* 2 *) TYPE error
minimal(container) = (* 0 *)
follow(typevars) = RPAREN COMMA
follow(typevar) = RPAREN LID COMMA
follow(sorts) = RPAREN EQUAL COMMA
......
......@@ -69,6 +69,40 @@ first(const) = UNDERSCORE TRUE LPAREN LITERAL LBRACK INT CUT CHAR
first(comma_tys) = UNDERSCORE QUAL_ID LPAREN LBRACK ID
first(app_or_qid) = QUAL_ID ID
first(app) = QUAL_ID ID
minimal(vars) = (* 0 *)
minimal(tyapp) = (* 2 *) QUAL_ID UNDERSCORE
minimal(ty0s) = (* 0 *)
minimal(ty0) = (* 1 *) UNDERSCORE
minimal(ty) = (* 1 *) UNDERSCORE
minimal(sig_decl) = (* 2 *) PRED ID
minimal(qv) = (* 1 *) ID
minimal(quantifier) = (* 1 *) FORALL
minimal(qual_id) = (* 1 *) QUAL_ID
minimal(qlist) = (* 1 *) ID
minimal(prog) = (* 1 *) QUAL_ID
minimal(preterms_brack) = (* 1 *) QUAL_ID
minimal(preterm_brack) = (* 1 *) QUAL_ID
minimal(preterm0) = (* 1 *) QUAL_ID
minimal(preterm) = (* 1 *) QUAL_ID
minimal(parse_input_line) = (* 1 *) EOF
minimal(parse) = (* 1 *) EOF
minimal(kind) = (* 1 *) TYPE
minimal(infixr_preterm) = (* 3 *) QUAL_ID INFIXR1 QUAL_ID
minimal(infixn_preterm) = (* 3 *) QUAL_ID INFIXN1 QUAL_ID
minimal(infixl_preterm) = (* 3 *) QUAL_ID INFIXL1 QUAL_ID
minimal(infix_decl) = (* 3 *) INFIXN ID INT
minimal(goal_decl) = (* 1 *) QUAL_ID
minimal(goal) = (* 1 *) QUAL_ID
minimal(directive) = (* 1 *) QUIT
minimal(decls) = (* 0 *)
minimal(decl) = (* 1 *) QUAL_ID
minimal(dcg_term) = (* 1 *) QUAL_ID
minimal(dcg_rule) = (* 3 *) QUAL_ID DCG_ARROW QUAL_ID
minimal(constr) = (* 3 *) ID HASH ID
minimal(const) = (* 1 *) UNDERSCORE
minimal(comma_tys) = (* 1 *) UNDERSCORE
minimal(app_or_qid) = (* 1 *) QUAL_ID
minimal(app) = (* 2 *) QUAL_ID QUAL_ID
follow(vars) = ID EQ
follow(tyapp) = UNDERSCORE RPAREN RBRACK QUAL_ID LPAREN LBRACK ID DOT COMMA BACKSLASH ARROW
follow(ty0s) = UNDERSCORE QUAL_ID LPAREN LBRACK ID EQ DOT
......
......@@ -29,6 +29,20 @@ first(export) = Lexport
first(eatom) = Lstring Llpar Llambda Lint Lident
first(decll) = Lvariable Lprimitive Ldeclare
first(atom) = Lstring Llpar Lint
minimal(stmttail) = (* 1 *) Lint
minimal(stmt) = (* 2 *) Llambda Lint
minimal(patom) = (* 1 *) Lident
minimal(parse_io_module) = (* 2 *) Lident Lend
minimal(paramlisttail) = (* 0 *)
minimal(paramlist) = (* 1 *) Lident
minimal(imports) = (* 0 *)
minimal(importlist) = (* 0 *)
minimal(idlist) = (* 0 *)
minimal(expr) = (* 1 *) Lident
minimal(export) = (* 0 *)
minimal(eatom) = (* 1 *) Lident
minimal(decll) = (* 0 *)
minimal(atom) = (* 1 *) Lint
follow(stmttail) = Lrpar Lperiod Lend
follow(stmt) = Lrpar Lperiod Lend
follow(patom) = Lstring Lsemi Lrpar Lperiod Llpar Llambda Lint Lident Lend
......
......@@ -7,6 +7,9 @@ nullable(bar) = false
first(phrase) = C A
first(foo) = A
first(bar) = C
minimal(phrase) = (* 5 *) A B A B EOF
minimal(foo) = (* 2 *) A B
minimal(bar) = (* 2 *) C D
follow(phrase) = #
follow(foo) = EOF C A
follow(bar) = EOF C A
......
......@@ -11,6 +11,11 @@ first(phrase) = C
first(other) = A
first(midrule(__anonymous_1)) = D C
first(list(__anonymous_0(A,B))) = B A
minimal(seplist(A)) = (* 1 *) A
minimal(phrase) = (* 3 *) C D EOF
minimal(other) = (* 2 *) A EOF
minimal(midrule(__anonymous_1)) = (* 1 *) C
minimal(list(__anonymous_0(A,B))) = (* 0 *)
follow(seplist(A)) = EOF
follow(phrase) = #
follow(other) = #
......
......@@ -11,6 +11,11 @@ first(mixed_list(C,D)) = D C
first(mixed_list(A,B)) = B A
first(list(__anonymous_0(C,D))) = D C
first(list(__anonymous_0(A,B))) = B A
minimal(phrase) = (* 1 *) EOF
minimal(mixed_list(C,D)) = (* 0 *)
minimal(mixed_list(A,B)) = (* 0 *)
minimal(list(__anonymous_0(C,D))) = (* 0 *)
minimal(list(__anonymous_0(A,B))) = (* 0 *)
follow(phrase) = #
follow(mixed_list(C,D)) = EOF
follow(mixed_list(A,B)) = EOF D C
......
......@@ -7,6 +7,9 @@ nullable(list(__anonymous_0)) = true
first(phrase) = EOF D C B A
first(list(__anonymous_1)) = D
first(list(__anonymous_0)) = C B A
minimal(phrase) = (* 1 *) EOF
minimal(list(__anonymous_1)) = (* 0 *)
minimal(list(__anonymous_0)) = (* 0 *)
follow(phrase) = #
follow(list(__anonymous_1)) = EOF
follow(list(__anonymous_0)) = EOF D
......
......@@ -43,6 +43,27 @@ first(annot_expr) = TIDENT OP_PAREN OP_CURL OP_BRACK LT LIDENT COLON
first(annot) = LT
first(afield_list) = LIDENT
first(afield) = LIDENT
minimal(variant_list0) = (* 1 *) UIDENT
minimal(variant_list) = (* 1 *) UIDENT
minimal(variant) = (* 1 *) UIDENT
minimal(type_var_list) = (* 1 *) TIDENT
minimal(type_param) = (* 0 *)
minimal(type_inst) = (* 1 *) LIDENT
minimal(type_expr) = (* 1 *) LIDENT
minimal(type_args) = (* 0 *)
minimal(type_arg_list) = (* 3 *) LIDENT COMMA LIDENT
minimal(module_item) = (* 2 *) TYPE error
minimal(module_body) = (* 1 *) EOF
minimal(full_module) = (* 1 *) EOF
minimal(field_name) = (* 1 *) LIDENT
minimal(field_list) = (* 2 *) LIDENT error
minimal(field) = (* 2 *) LIDENT error
minimal(cartesian_product) = (* 0 *)
minimal(asection) = (* 2 *) LT error
minimal(annot_expr) = (* 1 *) LIDENT
minimal(annot) = (* 0 *)
minimal(afield_list) = (* 0 *)
minimal(afield) = (* 1 *) LIDENT
follow(variant_list0) = error CL_BRACK
follow(variant_list) = error CL_BRACK
follow(variant) = error CL_BRACK BAR
......
......@@ -83,6 +83,21 @@ first(AppTerm) = LPAREN LCID
first(AType) = UCID PROP PRF LPAREN
first(ATerm) = LPAREN LCID
first(AKind) = STAR LPAREN
minimal(toplevel) = (* 1 *) EOF
minimal(Type) = (* 1 *) PROP
minimal(TyBinder) = (* 2 *) COLON STAR
minimal(TermList) = (* 1 *) LCID
minimal(Term) = (* 1 *) LCID
minimal(PathTerm) = (* 1 *) LCID
minimal(Kind) = (* 1 *) STAR
minimal(Command) = (* 1 *) LCID
minimal(Binder) = (* 2 *) COLON PROP
minimal(ArrowKind) = (* 1 *) STAR
minimal(AppType) = (* 1 *) PROP
minimal(AppTerm) = (* 1 *) LCID
minimal(AType) = (* 1 *) PROP
minimal(ATerm) = (* 1 *) LCID
minimal(AKind) = (* 1 *) STAR
follow(toplevel) = #
follow(Type) = SEMI RPAREN DOT
follow(TyBinder) = SEMI
......
......@@ -87,6 +87,34 @@ first(expression) = LPAREN LID LET LBRACE INTEGER EXISTS BACKSLASH