Blame camlp4/test/fixtures/superfluous.ml
|
Packit |
1f8b6b |
open Camlp4.PreCast;;
|
|
Packit |
1f8b6b |
open Syntax;;
|
|
Packit |
1f8b6b |
|
|
Packit |
1f8b6b |
let _loc = Loc.ghost;;
|
|
Packit |
1f8b6b |
let st = <:str_item< >>;;
|
|
Packit |
1f8b6b |
let e = <:expr< 1 >>
|
|
Packit |
1f8b6b |
let bi = <:binding< x = 0 >>;;
|
|
Packit |
1f8b6b |
|
|
Packit |
1f8b6b |
(* none of these holds due to superfluous StSem and StNil *)
|
|
Packit |
1f8b6b |
assert (Ast.StSem (_loc, st, st) = <:str_item< $st$ $st$ >>);;
|
|
Packit |
1f8b6b |
assert (Ast.StExp (_loc, e) = <:str_item< $exp:e$ >>);;
|
|
Packit |
1f8b6b |
assert (Ast.StVal (_loc, bi) = <:str_item< let $bi$ >>);;
|