Change #pattern to *pattern

formatTest/typeCheckedTests/expected_output/mlVariants.re

@@ -15,3 +15,12 @@ let sumThem =
   | `StillAnIntTuple (a, b) => a + b;
 
 type nonrec t = | A int | B bool;
+
+type t2 = [ | `a | `b];
+
+type u2 = [ t2 | `c];
+
+let listPatternWithHash =
+  fun
+  | *t2 => 1
+  | `c => 2;

formatTest/typeCheckedTests/input/mlVariants.ml

@@ -14,3 +14,9 @@ let sumThem = function
   | `StillAnIntTuple (a, b) -> a + b
 
 type nonrec t = A of int | B of bool
+
+type t2 = [ `a | `b ]
+type u2 = [ t2 | `c ]
+let listPatternWithHash = function
+  | #t2 -> 1
+  | `c -> 2

formatTest/unit_tests/expected_output/variants.re

@@ -473,3 +473,12 @@ let listPatternMayEvenIncludeAliases x =>
     ()
   | _ => ()
   };
+
+type t = [ | `a | `b];
+
+type u = [ t | `c];
+
+let listPatternWithHash =
+  fun
+  | *t => 1
+  | `c => 2;

formatTest/unit_tests/input/variants.re

@@ -339,3 +339,11 @@ let listPatternMayEvenIncludeAliases x => switch x {
   | [Blah x y as head, Foo a b as head2, ...Something x as tail] => ()
   | _ => ()
 };
+
+type t = [ | `a | `b];
+type u = [ t | `c];
+
+let listPatternWithHash =
+  fun
+  | *t => 1
+  | `c => 2;

src/reason_parser.mly

@@ -3339,7 +3339,7 @@ _simple_pattern_not_ident:
       { mkpat(Ppat_construct($1, None)) }
   | name_tag
       { mkpat(Ppat_variant($1, None)) }
-  | SHARP as_loc(type_longident)
+  | STAR as_loc(type_longident)
       { mkpat(Ppat_type ($2)) }
   | LBRACE lbl_pattern_list RBRACE
       { let (fields, closed) = $2 in mkpat(Ppat_record(fields, closed)) }