Skip to content

Commit

Permalink
wip
Browse files Browse the repository at this point in the history
  • Loading branch information
anmonteiro committed Nov 29, 2024
1 parent b6e41f5 commit c37bdbe
Show file tree
Hide file tree
Showing 5 changed files with 8 additions and 7 deletions.
3 changes: 2 additions & 1 deletion src/menhir-recover/dune
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
(executable
(name main)
(libraries fix menhirLib menhirSdk))
(libraries fix menhirLib menhirSdk)
(flags :standard -w -67))
6 changes: 3 additions & 3 deletions src/menhir-recover/emitter.mli
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ open Recovery_intf

module Make
(G : GRAMMAR)
(_ : ATTRIBUTES with module G := G)
(_ : SYNTHESIZER with module G := G)
(_ : RECOVERY with module G := G) : sig
(A : ATTRIBUTES with module G := G)
(S : SYNTHESIZER with module G := G)
(R : RECOVERY with module G := G) : sig
val emit : Format.formatter -> unit
end
2 changes: 1 addition & 1 deletion src/menhir-recover/recovery_intf.ml
Original file line number Diff line number Diff line change
Expand Up @@ -26,5 +26,5 @@ end

module type RECOVER = functor
(G : GRAMMAR)
(_ : Synthesis.SYNTHESIZER with module G := G)
(S : Synthesis.SYNTHESIZER with module G := G)
-> RECOVERY with module G := G
2 changes: 1 addition & 1 deletion src/reason-parser/dune
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,7 @@
(public_name reason)
(wrapped false)
(flags
(:standard -w -9-52 -safe-string))
(:standard -w -9-52-67 -safe-string))
(modules
ocaml_util
reason_syntax_util
Expand Down
2 changes: 1 addition & 1 deletion src/reason-parser/merlin_recovery.mli
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
module Make
(Parser : MenhirLib.IncrementalEngine.EVERYTHING)
(_ : sig
(Recovery : sig
val default_value : Location.t -> 'a Parser.symbol -> 'a

type action =
Expand Down

0 comments on commit c37bdbe

Please sign in to comment.