Merge pull request #70 from whitequark/master
Don't execute all phrases twice on >=4.02
This commit is contained in:
commit
6e52edc81c
|
@ -346,9 +346,10 @@ let check_phrase phrase =
|
||||||
with_default_loc loc
|
with_default_loc loc
|
||||||
(fun () ->
|
(fun () ->
|
||||||
Str.eval
|
Str.eval
|
||||||
(Exp.letmodule (with_loc loc "_")
|
(Exp.fun_ "" None (Pat.construct unit None)
|
||||||
(Mod.structure (item :: items))
|
(Exp.letmodule (with_loc loc "_")
|
||||||
(Exp.construct unit None)))
|
(Mod.structure (item :: items))
|
||||||
|
(Exp.construct unit None))))
|
||||||
in
|
in
|
||||||
#endif
|
#endif
|
||||||
let check_phrase = Ptop_def [top_def] in
|
let check_phrase = Ptop_def [top_def] in
|
||||||
|
|
Loading…
Reference in New Issue