regression/fail/pat.sml

   1 val NONE _ = ()
   2
   3 val _ :: 13 = []
   4
   5 val 13 : bool = 14
   6
   7 (* Precedence parsing *)
   8 val x _ _ = 13
   9
  10 val + _ = 13
  11
  12 val _ + = 13
  13
  14 val _ + _ = 13
  15
  16 local
  17    infixr 5 foo
  18    infix 5 bar
  19 in
  20    val x foo y bar z = 13
  21 end
  22
  23 val x _ = 13
  24
  25 val x : int as NONE = NONE
  26
  27 val [13, "foo"] = []
  28
  29 val {foo, ...} = raise Fail ""