
  Syntax error!
  syntax_tests/data/parsing/errors/typexpr/arrow.res:2:22-24

  1 │ // notice usage of -> instead of =>
  2 │ external add_nat: nat -> int = "add_nat_bytecode"
  3 │ 
  4 │ module Error2 = {

  Did you forget a `=>` here?


  Syntax error!
  syntax_tests/data/parsing/errors/typexpr/arrow.res:7:27-30

  5 │   type observation ={
  6 │     observed: int,
  7 │     onStep: (~currentValue   ) => unit
  8 │   }
  9 │ }

  Did you forget a `:` here? It signals the start of a type


  Syntax error!
  syntax_tests/data/parsing/errors/typexpr/arrow.res:14:26-29

  12 │   type observation ={
  13 │     observed: int,
  14 │     onStep: ~currentValue  => unit
  15 │   }
  16 │ }

  Did you forget a `:` here? It signals the start of a type

external add_nat : nat -> int (a:1) = "add_nat_bytecode"
module Error2 =
  struct
    type nonrec observation =
      {
      observed: int ;
      onStep: currentValue:unit -> [%rescript.typehole ] (a:1) }
  end
module Error3 =
  struct
    type nonrec observation =
      {
      observed: int ;
      onStep: currentValue:unit -> [%rescript.typehole ] }
  end