diff options
Diffstat (limited to 'source/mod_student/plugin.ml')
-rw-r--r-- | source/mod_student/plugin.ml | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/source/mod_student/plugin.ml b/source/mod_student/plugin.ml index 26d15d0..41487d3 100644 --- a/source/mod_student/plugin.ml +++ b/source/mod_student/plugin.ml @@ -27,9 +27,20 @@ module Plugin : PLUGIN = struct let make_spill_costs_analysis = None + let lexer_and_parser = None + (* + * Przenieś pliki parser.mly oraz lexer.mll z poprzedniego rozwiązania + * i odkomentuj poniższą linijkę. + * + * Przenoszenie rozwiązania nie jest wymagane. Pamiętaj, że możesz napotkać + * trudności gdy rozwiązanie z poprzedniej pracowni okaże się nie do końca + * kompatybilne z kształtem danych oczekiwanym przez resztę modułów + * kompilatora. + * let lexer_and_parser = Some (module LexerAndParser : LEXER_AND_PARSER) + *) - let make_typechecker = None + let make_typechecker = Some (module Typechecker.Make : MAKE_TYPECHECKER) let make_translator = None @@ -58,4 +69,4 @@ module Plugin : PLUGIN = struct let make_reachability_analysis = None end -module RegisterMyPlugin = RegisterPlugin(Plugin) \ No newline at end of file +module RegisterMyPlugin = RegisterPlugin(Plugin) |