Commit b992620a authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

A bit further in the compilation of acg

parent ca24eea7
......@@ -152,24 +152,104 @@ commands: SELECT IDENTT WAIT
## The known suffix of the stack is as follows:
## SELECT IDENTT
##
commands: UNSELECT WAIT
commands: WAIT HELP WAIT
##
## Ends in an error in state: 5.
## Ends in an error in state: 3.
##
## command -> UNSELECT . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
## command -> UNSELECT . HELP SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
## command -> WAIT HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## UNSELECT
## WAIT HELP
##
commands: WAIT HELP WAIT
commands: UNSELECT HELP WAIT
##
## Ends in an error in state: 3.
## Ends in an error in state: 7.
##
## command -> WAIT HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
## command -> UNSELECT HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## WAIT HELP
## UNSELECT HELP
##
commands: TRACE HELP WAIT
##
## Ends in an error in state: 11.
##
## command -> TRACE HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## TRACE HELP
##
commands: SELECT HELP WAIT
##
## Ends in an error in state: 16.
##
## command -> SELECT HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## SELECT HELP
##
commands: LIST HELP WAIT
##
## Ends in an error in state: 40.
##
## command -> LIST HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## LIST HELP
##
commands: HELP HELP WAIT
##
## Ends in an error in state: 49.
##
## command -> HELP HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## HELP HELP
##
commands: DONT WAIT HELP WAIT
##
## Ends in an error in state: 56.
##
## command -> DONT WAIT HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## DONT WAIT HELP
##
commands: DONT TRACE HELP WAIT
##
## Ends in an error in state: 60.
##
## command -> DONT TRACE HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## DONT TRACE HELP
##
commands: COMPOSE HELP WAIT
##
## Ends in an error in state: 78.
##
## command -> COMPOSE HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## COMPOSE HELP
##
commands: PRINT HELP WAIT
##
## Ends in an error in state: 92.
##
## command -> option(IDENTT) PRINT HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## option(IDENTT) PRINT HELP
##
commands: IDB HELP WAIT
##
## Ends in an error in state: 96.
##
## command -> option(IDENTT) IDB HELP . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## option(IDENTT) IDB HELP
##
A semicolon ":" is expected
......@@ -244,6 +324,16 @@ commands: WAIT WAIT
## The known suffix of the stack is as follows:
## WAIT
##
commands: UNSELECT WAIT
##
## Ends in an error in state: 5.
##
## command -> UNSELECT . SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
## command -> UNSELECT . HELP SEMICOLONN [ WAIT UNSELECT TRACE SELECT SAVE_HELP SAVE REALIZE_SHOW_HELP REALIZE_SHOW REALIZE_HELP REALIZE QUERY_HELP QUERY PRINT PARSE_HELP PARSE LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LOAD_DATA LIST IDENTT IDB HELP EXIT EOII DONT CREATE_SIG CREATE_LEX CREATE_HELP COMPOSE CHECK_HELP CHECK ANALYSE_HELP ANALYSE ADD_HELP ADD ]
##
## The known suffix of the stack is as follows:
## UNSELECT
##
A semicolon ":" or the keyword "help is expected.
......
......@@ -15,19 +15,22 @@
%}
%token EOII
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)> LOAD_DATA LOAD_SCRIPT LOAD_OBJECT LOAD_HELP LIST SELECT
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)> UNSELECT TRACE HELP PRINT
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>ANALYSE ANALYSE_HELP
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>CHECK CHECK_HELP
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>REALIZE REALIZE_HELP
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>REALIZE_SHOW REALIZE_SHOW_HELP
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>PARSE PARSE_HELP
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)> LOAD_DATA LOAD_SCRIPT LOAD_OBJECT
%token LOAD_HELP LIST SELECT UNSELECT TRACE HELP ANALYSE_HELP CHECK_HELP REALIZE_HELP
%token REALIZE_SHOW_HELP PARSE_HELP QUERY_HELP COMPOSE ADD_HELP AS DONT WAIT EXIT
%token CREATE_SIG CREATE_LEX CREATE_HELP SAVE_HELP
%token <Logic.Abstract_syntax.Abstract_syntax.location> PRINT
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>ANALYSE
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>CHECK
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>REALIZE
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>REALIZE_SHOW
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>PARSE
%token <Logic.Abstract_syntax.Abstract_syntax.location>IDB
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>QUERY QUERY_HELP
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>ADD COMPOSE ADD_HELP
%token <string>SEMICOLONN AS DONT WAIT EXIT
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location)>IDENTT CREATE_SIG CREATE_LEX CREATE_HELP
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>SAVE SAVE_HELP
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>QUERY
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>ADD
%token <string>SEMICOLONN
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location)>IDENTT
%token <(string*Logic.Abstract_syntax.Abstract_syntax.location*string)>SAVE
%start <Functions.Functions.context -> AcgData.Environment.Environment.t -> AcgData.Environment.Environment.t> commands
......
......@@ -6,85 +6,27 @@
let message =
fun s ->
match s with
| 1 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 91 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 3 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 5 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 0 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 7 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 8 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 10 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 90 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
"A command is expected.\n"
| 13 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 16 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 19 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 23 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 88 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 28 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 31 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 33 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 73 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 34 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 76 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 37 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 39 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
"An identifier (the name of a signature or of a lexicon) or the command \"help\" are expected.\n"
| 42 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 41 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 44 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 46 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 47 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 49 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 50 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 51 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 52 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 54 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 56 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 57 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 58 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 59 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 60 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
"A command is expected after an identifier.\n"
| 45 ->
"The commands \"save\", \"check\", \"realize\" (and the deprecated \"analyse\" and \"realize_show\") are expected.\n"
| 53 ->
"The command \"trace\" or \"wait\" is expected.\n"
| 62 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 65 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
| 68 ->
"<YOUR SYNTAX ERROR MESSAGE HERE>\n"
"An identifier (the name of a signature) or the command \"help\" are expected.\n"
| 73 | 72 | 67 | 66 | 65 ->
"An identifier (the name of a lexicon) or the command \"help\" are expected.\n"
| 74 ->
"The keyword \"as\" is expected.\n"
| 75 ->
"An identifier (the name of a new lexicon) is expected.\n"
| 58 | 54 | 47 | 94 | 38 | 9 | 1 | 5 ->
"A semicolon \":\" or the keyword \"help is expected.\n"
| 86 | 83 | 80 | 70 | 76 | 68 | 63 | 51 | 90 | 35 | 108 | 30 | 27 | 24 | 21 | 18 | 14 | 3 | 7 | 11 | 16 | 40 | 49 | 56 | 60 | 78 | 92 | 96 ->
"A semicolon \":\" is expected\n"
| _ ->
raise Not_found
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