diff options
| -rw-r--r-- | .gitignore | 6 | ||||
| -rw-r--r-- | lib/qparser/analyzer.ml (renamed from lib/analyzer.ml) | 0 | ||||
| -rw-r--r-- | lib/qparser/analyzer.mli (renamed from lib/analyzer.mli) | 0 | ||||
| -rw-r--r-- | lib/qparser/dune (renamed from lib/dune) | 0 | ||||
| -rwxr-xr-x | lib/qparser/explain.sh (renamed from lib/explain.sh) | 0 | ||||
| -rw-r--r-- | lib/qparser/expression_parser.messages (renamed from lib/expression_parser.messages) | 0 | ||||
| -rwxr-xr-x | lib/qparser/generate_errors.sh (renamed from lib/generate_errors.sh) | 0 | ||||
| -rw-r--r-- | lib/qparser/grammar.txt (renamed from lib/grammar.txt) | 0 | ||||
| -rw-r--r-- | lib/qparser/idents.ml (renamed from lib/idents.ml) | 0 | ||||
| -rw-r--r-- | lib/qparser/interpreter.ml (renamed from lib/interpreter.ml) | 0 | ||||
| -rw-r--r-- | lib/qparser/lexbuf.ml (renamed from lib/lexbuf.ml) | 0 | ||||
| -rw-r--r-- | lib/qparser/lexbuf.mli (renamed from lib/lexbuf.mli) | 0 | ||||
| -rw-r--r-- | lib/qparser/lexer.ml (renamed from lib/lexer.ml) | 0 | ||||
| -rw-r--r-- | lib/qparser/lexer.mli (renamed from lib/lexer.mli) | 0 | ||||
| -rw-r--r-- | lib/qparser/parser.mly (renamed from lib/parser.mly) | 0 | ||||
| -rw-r--r-- | lib/qparser/qsp_expression.mly (renamed from lib/qsp_expression.mly) | 0 | ||||
| -rw-r--r-- | lib/qparser/qsp_instruction.mly (renamed from lib/qsp_instruction.mly) | 0 | ||||
| -rw-r--r-- | lib/qparser/tokens.mly (renamed from lib/tokens.mly) | 0 | ||||
| -rw-r--r-- | lib/syntax/S.ml (renamed from syntax/S.ml) | 0 | ||||
| -rw-r--r-- | lib/syntax/dune (renamed from syntax/dune) | 0 | ||||
| -rw-r--r-- | lib/syntax/report.ml (renamed from syntax/report.ml) | 0 | ||||
| -rw-r--r-- | lib/syntax/t.ml (renamed from syntax/t.ml) | 0 | ||||
| -rw-r--r-- | lib/syntax/tree.ml (renamed from syntax/tree.ml) | 0 | ||||
| -rw-r--r-- | lib/syntax/tree.mli (renamed from syntax/tree.mli) | 0 | ||||
| -rw-r--r-- | lib/syntax/type_of.ml (renamed from syntax/type_of.ml) | 0 |
25 files changed, 3 insertions, 3 deletions
@@ -1,5 +1,5 @@ -lib/*.conflicts -lib/expression_parser.messages_new -lib/all_errors +lib/qparser/*.conflicts +lib/qparser/expression_parser.messages_new +lib/qparser/all_errors examples/ _build/ diff --git a/lib/analyzer.ml b/lib/qparser/analyzer.ml index da1adbf..da1adbf 100644 --- a/lib/analyzer.ml +++ b/lib/qparser/analyzer.ml diff --git a/lib/analyzer.mli b/lib/qparser/analyzer.mli index 30b6625..30b6625 100644 --- a/lib/analyzer.mli +++ b/lib/qparser/analyzer.mli diff --git a/lib/dune b/lib/qparser/dune index f62c90e..f62c90e 100644 --- a/lib/dune +++ b/lib/qparser/dune diff --git a/lib/explain.sh b/lib/qparser/explain.sh index 609d208..609d208 100755 --- a/lib/explain.sh +++ b/lib/qparser/explain.sh diff --git a/lib/expression_parser.messages b/lib/qparser/expression_parser.messages index a493067..a493067 100644 --- a/lib/expression_parser.messages +++ b/lib/qparser/expression_parser.messages diff --git a/lib/generate_errors.sh b/lib/qparser/generate_errors.sh index 3cff769..3cff769 100755 --- a/lib/generate_errors.sh +++ b/lib/qparser/generate_errors.sh diff --git a/lib/grammar.txt b/lib/qparser/grammar.txt index d7208ef..d7208ef 100644 --- a/lib/grammar.txt +++ b/lib/qparser/grammar.txt diff --git a/lib/idents.ml b/lib/qparser/idents.ml index baf23dc..baf23dc 100644 --- a/lib/idents.ml +++ b/lib/qparser/idents.ml diff --git a/lib/interpreter.ml b/lib/qparser/interpreter.ml index b719600..b719600 100644 --- a/lib/interpreter.ml +++ b/lib/qparser/interpreter.ml diff --git a/lib/lexbuf.ml b/lib/qparser/lexbuf.ml index 3f0b186..3f0b186 100644 --- a/lib/lexbuf.ml +++ b/lib/qparser/lexbuf.ml diff --git a/lib/lexbuf.mli b/lib/qparser/lexbuf.mli index 41f07d1..41f07d1 100644 --- a/lib/lexbuf.mli +++ b/lib/qparser/lexbuf.mli diff --git a/lib/lexer.ml b/lib/qparser/lexer.ml index c643577..c643577 100644 --- a/lib/lexer.ml +++ b/lib/qparser/lexer.ml diff --git a/lib/lexer.mli b/lib/qparser/lexer.mli index 585877c..585877c 100644 --- a/lib/lexer.mli +++ b/lib/qparser/lexer.mli diff --git a/lib/parser.mly b/lib/qparser/parser.mly index 84c1af8..84c1af8 100644 --- a/lib/parser.mly +++ b/lib/qparser/parser.mly diff --git a/lib/qsp_expression.mly b/lib/qparser/qsp_expression.mly index 06cfadd..06cfadd 100644 --- a/lib/qsp_expression.mly +++ b/lib/qparser/qsp_expression.mly diff --git a/lib/qsp_instruction.mly b/lib/qparser/qsp_instruction.mly index 564e154..564e154 100644 --- a/lib/qsp_instruction.mly +++ b/lib/qparser/qsp_instruction.mly diff --git a/lib/tokens.mly b/lib/qparser/tokens.mly index 9ac4b10..9ac4b10 100644 --- a/lib/tokens.mly +++ b/lib/qparser/tokens.mly diff --git a/syntax/S.ml b/lib/syntax/S.ml index 3873eed..3873eed 100644 --- a/syntax/S.ml +++ b/lib/syntax/S.ml diff --git a/syntax/dune b/lib/syntax/dune index 666273f..666273f 100644 --- a/syntax/dune +++ b/lib/syntax/dune diff --git a/syntax/report.ml b/lib/syntax/report.ml index 9ad24c3..9ad24c3 100644 --- a/syntax/report.ml +++ b/lib/syntax/report.ml diff --git a/syntax/t.ml b/lib/syntax/t.ml index 9c25647..9c25647 100644 --- a/syntax/t.ml +++ b/lib/syntax/t.ml diff --git a/syntax/tree.ml b/lib/syntax/tree.ml index bb31253..bb31253 100644 --- a/syntax/tree.ml +++ b/lib/syntax/tree.ml diff --git a/syntax/tree.mli b/lib/syntax/tree.mli index ca5a639..ca5a639 100644 --- a/syntax/tree.mli +++ b/lib/syntax/tree.mli diff --git a/syntax/type_of.ml b/lib/syntax/type_of.ml index d578700..d578700 100644 --- a/syntax/type_of.ml +++ b/lib/syntax/type_of.ml |