Skip to content
Snippets Groups Projects
Commit dfd9a7ee authored by François Bobot's avatar François Bobot
Browse files

Fix compilation

parent 39b90c2c
No related branches found
No related tags found
1 merge request!34Update_dolmen and fix #55
Pipeline #44187 passed
Stage: test
    Hide whitespace changes
    Inline Side-by-side
    Src/COLIBRI/simplex_ocaml/dolmen/src/languages/icnf/new.messages deleted 100644 → 0
    + 0
    − 241
    View file @ 39b90c2c
    input: A INT P
    ##
    ## Ends in an error in state: 15.
    ##
    ## list(atom) -> atom . list(atom) [ ZERO ]
    ##
    ## The known suffix of the stack is as follows:
    ## atom
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    input: A P
    ##
    ## Ends in an error in state: 35.
    ##
    ## assumption -> A . list(atom) ZERO NEWLINE [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ## A
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    input: A ZERO ZERO
    ##
    ## Ends in an error in state: 37.
    ##
    ## assumption -> A list(atom) ZERO . NEWLINE [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ## A list(atom) ZERO
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    input: INT P
    ##
    ## Ends in an error in state: 23.
    ##
    ## nonempty_list(atom) -> atom . [ ZERO ]
    ## nonempty_list(atom) -> atom . nonempty_list(atom) [ ZERO ]
    ##
    ## The known suffix of the stack is as follows:
    ## atom
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    input: INT ZERO ZERO
    ##
    ## Ends in an error in state: 41.
    ##
    ## clause -> nonempty_list(atom) ZERO . NEWLINE [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ## nonempty_list(atom) ZERO
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    input: NEWLINE ZERO
    ##
    ## Ends in an error in state: 33.
    ##
    ## input -> NEWLINE . input [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ## NEWLINE
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    input: P INCCNF ZERO
    ##
    ## Ends in an error in state: 31.
    ##
    ## start -> P INCCNF . NEWLINE [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ## P INCCNF
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    input: P ZERO
    ##
    ## Ends in an error in state: 30.
    ##
    ## start -> P . INCCNF NEWLINE [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ## P
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    input: ZERO
    ##
    ## Ends in an error in state: 29.
    ##
    ## input' -> . input [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ##
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    file: NEWLINE ZERO
    ##
    ## Ends in an error in state: 1.
    ##
    ## list(NEWLINE) -> NEWLINE . list(NEWLINE) [ P ]
    ##
    ## The known suffix of the stack is as follows:
    ## NEWLINE
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    file: P INCCNF NEWLINE A P
    ##
    ## Ends in an error in state: 11.
    ##
    ## assumption -> A . list(atom) ZERO NEWLINE [ NEWLINE INT EOF A ]
    ##
    ## The known suffix of the stack is as follows:
    ## A
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    file: P INCCNF NEWLINE A ZERO NEWLINE ZERO
    ##
    ## Ends in an error in state: 25.
    ##
    ## problem -> assumption . problem [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ## assumption
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    file: P INCCNF NEWLINE A ZERO ZERO
    ##
    ## Ends in an error in state: 13.
    ##
    ## assumption -> A list(atom) ZERO . NEWLINE [ NEWLINE INT EOF A ]
    ##
    ## The known suffix of the stack is as follows:
    ## A list(atom) ZERO
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    file: P INCCNF NEWLINE INT ZERO NEWLINE ZERO
    ##
    ## Ends in an error in state: 21.
    ##
    ## problem -> clause . problem [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ## clause
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    file: P INCCNF NEWLINE INT ZERO ZERO
    ##
    ## Ends in an error in state: 19.
    ##
    ## clause -> nonempty_list(atom) ZERO . NEWLINE [ NEWLINE INT EOF A ]
    ##
    ## The known suffix of the stack is as follows:
    ## nonempty_list(atom) ZERO
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    file: P INCCNF NEWLINE NEWLINE ZERO
    ##
    ## Ends in an error in state: 8.
    ##
    ## problem -> NEWLINE . problem [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ## NEWLINE
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    file: P INCCNF NEWLINE ZERO
    ##
    ## Ends in an error in state: 7.
    ##
    ## file -> list(NEWLINE) start . problem [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ## list(NEWLINE) start
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    file: P INCCNF ZERO
    ##
    ## Ends in an error in state: 5.
    ##
    ## start -> P INCCNF . NEWLINE [ NEWLINE INT EOF A ]
    ##
    ## The known suffix of the stack is as follows:
    ## P INCCNF
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    file: P ZERO
    ##
    ## Ends in an error in state: 4.
    ##
    ## start -> P . INCCNF NEWLINE [ NEWLINE INT EOF A ]
    ##
    ## The known suffix of the stack is as follows:
    ## P
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    file: ZERO
    ##
    ## Ends in an error in state: 0.
    ##
    ## file' -> . file [ # ]
    ##
    ## The known suffix of the stack is as follows:
    ##
    ##
    <YOUR SYNTAX ERROR MESSAGE HERE>
    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