balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Miscellaneous.

Browse Source
This commit is contained in:
Christian Rinderknecht 2019-12-28 17:58:15 +01:00
parent c92e3b28ad
commit ea7460f8c9
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/passes/1-parser/pascaligo/ParserAPI.ml
View File

@ -4,7 +4,7 @@
module Make (Lexer: Lexer.S with module Token := LexToken) module Make (Lexer: Lexer.S with module Token := LexToken)
(Parser: module type of Parser) (Parser: module type of Parser)
(ParErr: sig val message : int -> string end) = (ParErr: module type of ParErr) =
struct struct
module I = Parser.MenhirInterpreter module I = Parser.MenhirInterpreter
module S = MenhirLib.General (* Streams *) module S = MenhirLib.General (* Streams *)

2
src/passes/1-parser/pascaligo/ParserAPI.mli
View File

@ -2,7 +2,7 @@
module Make (Lexer: Lexer.S with module Token := LexToken) module Make (Lexer: Lexer.S with module Token := LexToken)
(Parser: module type of Parser) (Parser: module type of Parser)
(ParErr: sig val message: int -> string end) : (ParErr: module type of ParErr) :
sig sig
(* Monolithic and incremental APIs of Menhir for parsing *) (* Monolithic and incremental APIs of Menhir for parsing *)