From ea7460f8c95495b3f2a4919b2ec05ce76cec1370 Mon Sep 17 00:00:00 2001 From: Christian Rinderknecht Date: Sat, 28 Dec 2019 17:58:15 +0100 Subject: [PATCH] Miscellaneous. --- src/passes/1-parser/pascaligo/ParserAPI.ml | 2 +- src/passes/1-parser/pascaligo/ParserAPI.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/passes/1-parser/pascaligo/ParserAPI.ml b/src/passes/1-parser/pascaligo/ParserAPI.ml index 24f663d90..5a91be8f7 100644 --- a/src/passes/1-parser/pascaligo/ParserAPI.ml +++ b/src/passes/1-parser/pascaligo/ParserAPI.ml @@ -4,7 +4,7 @@ module Make (Lexer: Lexer.S with module Token := LexToken) (Parser: module type of Parser) - (ParErr: sig val message : int -> string end) = + (ParErr: module type of ParErr) = struct module I = Parser.MenhirInterpreter module S = MenhirLib.General (* Streams *) diff --git a/src/passes/1-parser/pascaligo/ParserAPI.mli b/src/passes/1-parser/pascaligo/ParserAPI.mli index 7d969a33c..afc0fb8ba 100644 --- a/src/passes/1-parser/pascaligo/ParserAPI.mli +++ b/src/passes/1-parser/pascaligo/ParserAPI.mli @@ -2,7 +2,7 @@ module Make (Lexer: Lexer.S with module Token := LexToken) (Parser: module type of Parser) - (ParErr: sig val message: int -> string end) : + (ParErr: module type of ParErr) : sig (* Monolithic and incremental APIs of Menhir for parsing *)