add tests for ocaml syntax highlighting

Author: copy

syntax-testcases/exception_alias.ml

@@ -0,0 +1,2 @@
+(* ok *)
+exception E = F

syntax-testcases/first_class_module.ml

@@ -0,0 +1,2 @@
+module M1 : sig end = (struct let x = 0 end : sig end)
+(* => last signature: `sig` is linted as a type constructor, end `end` as an error *)

syntax-testcases/functor1.ml

@@ -0,0 +1,19 @@
+module M : sig
+  module type F
+    = functor () (X : Ord) -> sig end (* not ok *)
+  module F
+    : functor () (X : Ord) -> sig end (* ok *)
+end
+= struct
+  module type F
+    = functor () (X : Ord) -> sig end (* not ok *)
+  module F
+    : functor () (X : Ord) -> sig end (* not ok *)
+    = functor () (X : Ord) -> struct end (* not ok *)
+end
+
+module type F
+  = functor () (X : Ord) -> sig end (* not ok *)
+module F
+  : functor () (X : Ord) -> sig end (* not ok *)
+  = functor () (X : Ord) -> struct end (* not ok *)

syntax-testcases/functor2.ml

@@ -0,0 +1,3 @@
+module Make (M : sig end) = struct module type S = sig end end
+module Test : Make(Make(Int)).S = struct end
+(* ----------------^ the inner modules are linted as constructors *)

syntax-testcases/functor3.mli

@@ -0,0 +1,6 @@
+module Make : functor(X: Ord) -> sig
+  module Bar : module type of Make(X)
+
+  val x : int
+  val y : int
+end

syntax-testcases/functor_param.ml

@@ -0,0 +1,8 @@
+module M : sig
+  module F () (X : Ord) : sig end
+end
+= struct
+  module F () (X : Ord) : sig end = struct end
+end
+
+module F () (X : Ord) : sig end = struct end

syntax-testcases/module_paren1.ml

@@ -0,0 +1,11 @@
+module M0 : sig end = struct let x = 0 end
+(* => linting of struct is correct *)
+
+module M1 : sig end = (struct let x = 0 end : sig end)
+(* => linting of struct is correct
+  (but linting of last sig is buggy because of the type linter of PR#76) *)
+
+module M2 = (struct let x = 0 end : sig end)
+(* =>        ^^^^^^^^^^^^^^^^^^^^
+   the whole struct is linted with a wrong, uniform style
+   (but linting of last sig is correct) *)

syntax-testcases/module_paren2.ml

@@ -0,0 +1,8 @@
+module IM           = Stdlib.Map.Make(Int)
+(*                    ^^^^^^^^^^^^^^^^^^^^
+   shown as a module/functor, with a uniform style *)
+
+module IM : sig end = Stdlib.Map.Make(Int)
+(*                    ^^^^^^^^^^^^^^^^^^^^
+   shown as as an expression (a datatype constructor `Make`
+   prefixed with a module path, and a constructor `Int`) *)

syntax-testcases/module_type.ml

@@ -0,0 +1,2 @@
+(* Foo is highlighted incorrectly *)
+type x = (module Foo)

syntax-testcases/module_type_of.mli

@@ -0,0 +1,12 @@
+(* approximately ok:
+ *   - "module type of" linted as ocamlKeyword
+ *   - "F" linted as ocamlModule
+ *   - "(X)" linted meaninglessly but by chance it doesn’t look SO bad
+ *)
+module N : module type of F(X)
+
+module M : sig
+  module N : module type of X
+  module N : module type of F(X)
+  val x : int
+end

syntax-testcases/module_underscore.ml

@@ -0,0 +1,4 @@
+(* ok *)
+module _ = struct
+  let () = ()
+end

syntax-testcases/module_with_signature.ml

@@ -0,0 +1,3 @@
+module F : Bar = Foo
+
+module Test : Make(Int).S = struct end

syntax-testcases/poly_variant_in_type.ml

@@ -0,0 +1,4 @@
+(* foo is highlighted incorrectly on every line *)
+val bar : [>foo]
+let decode x = (Dns.Packet.decode x : (_, Dns.Packet.err) result :> (_, [> foo]) result)
+type t = [Dns.Packet.foo | Dns.Packet.bar]