diff options
Diffstat (limited to 'ocaml-binary-annot/camlp4/test/fixtures/superfluous.ml')
| -rw-r--r-- | ocaml-binary-annot/camlp4/test/fixtures/superfluous.ml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ocaml-binary-annot/camlp4/test/fixtures/superfluous.ml b/ocaml-binary-annot/camlp4/test/fixtures/superfluous.ml new file mode 100644 index 0000000000..79b086b90e --- /dev/null +++ b/ocaml-binary-annot/camlp4/test/fixtures/superfluous.ml @@ -0,0 +1,12 @@ +open Camlp4.PreCast;; +open Syntax;; + +let _loc = Loc.ghost;; +let st = <:str_item< >>;; +let e = <:expr< 1 >> +let bi = <:binding< x = 0 >>;; + +(* none of these holds due to superfluous StSem and StNil *) +assert (Ast.StSem (_loc, st, st) = <:str_item< $st$ $st$ >>);; +assert (Ast.StExp (_loc, e) = <:str_item< $exp:e$ >>);; +assert (Ast.StVal (_loc, bi) = <:str_item< let $bi$ >>);; |