Skip to content

Instantly share code, notes, and snippets.

@takikawa
Created September 21, 2015 18:39
Show Gist options
  • Save takikawa/a1890daf0001dedc9a30 to your computer and use it in GitHub Desktop.
Save takikawa/a1890daf0001dedc9a30 to your computer and use it in GitHub Desktop.
File "typing.ml", line 430, characters 4-28:==== ] 00432 / 00555
Error: This pattern matches values of type
[? `Star of
[? `ID_False
| `ID_Nil
| `ID_Scope of Cfg.identifier * string
| `ID_Self
| `ID_True
| `ID_UScope of string
| `ID_Var of Cfg.var_kind * string
| `Lit_Array of Cfg.star_expr list
| `Lit_Atom of string
| `Lit_BigNum of Big_int.big_int
| `Lit_FixNum of int
| `Lit_Float of string * float
| `Lit_Hash of
(Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_) list
| `Lit_Range of
bool * Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_
| `Lit_Regexp of string * string
| `Lit_String of string
| `Star of
[ `ID_False
| `ID_Nil
| `ID_Scope of Cfg.identifier * string
| `ID_Self
| `ID_True
| `ID_UScope of string
| `ID_Var of Cfg.var_kind * string
| `Lit_Array of Cfg.star_expr list
| `Lit_Atom of string
| `Lit_BigNum of Big_int.big_int
| `Lit_FixNum of int
| `Lit_Float of string * float
| `Lit_Hash of
(Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_)
list
| `Lit_Range of
bool * Cfg.star_expr Cfg.expr_ *
Cfg.star_expr Cfg.expr_
| `Lit_Regexp of string * string
| `Lit_String of string
| `Tuple of Cfg.tuple_expr list ]
| `Tuple of Cfg.tuple_expr list ]
as 'a ]
but a pattern was expected which matches values of type
Cfg.tuple_expr =
[ `ID_False
| `ID_Nil
| `ID_Scope of Cfg.identifier * string
| `ID_Self
| `ID_True
| `ID_UScope of string
| `ID_Var of Cfg.var_kind * string
| `Lit_Array of Cfg.star_expr list
| `Lit_Atom of string
| `Lit_BigNum of Big_int.big_int
| `Lit_FixNum of int
| `Lit_Float of string * float
| `Lit_Hash of
(Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_) list
| `Lit_Range of
bool * Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_
| `Lit_Regexp of string * string
| `Lit_String of string
| `Star of
[ `ID_False
| `ID_Nil
| `ID_Scope of Cfg.identifier * string
| `ID_Self
| `ID_True
| `ID_UScope of string
| `ID_Var of Cfg.var_kind * string
| `Lit_Array of Cfg.star_expr list
| `Lit_Atom of string
| `Lit_BigNum of Big_int.big_int
| `Lit_FixNum of int
| `Lit_Float of string * float
| `Lit_Hash of
(Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_) list
| `Lit_Range of
bool * Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_
| `Lit_Regexp of string * string
| `Lit_String of string
| `Tuple of Cfg.tuple_expr list ]
| `Tuple of Cfg.tuple_expr list ]
Type
'a =
[? `ID_False
| `ID_Nil
| `ID_Scope of Cfg.identifier * string
| `ID_Self
| `ID_True
| `ID_UScope of string
| `ID_Var of Cfg.var_kind * string
| `Lit_Array of Cfg.star_expr list
| `Lit_Atom of string
| `Lit_BigNum of Big_int.big_int
| `Lit_FixNum of int
| `Lit_Float of string * float
| `Lit_Hash of
(Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_) list
| `Lit_Range of
bool * Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_
| `Lit_Regexp of string * string
| `Lit_String of string
| `Star of
[ `ID_False
| `ID_Nil
| `ID_Scope of Cfg.identifier * string
| `ID_Self
| `ID_True
| `ID_UScope of string
| `ID_Var of Cfg.var_kind * string
| `Lit_Array of Cfg.star_expr list
| `Lit_Atom of string
| `Lit_BigNum of Big_int.big_int
| `Lit_FixNum of int
| `Lit_Float of string * float
| `Lit_Hash of
(Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_) list
| `Lit_Range of
bool * Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_
| `Lit_Regexp of string * string
| `Lit_String of string
| `Tuple of Cfg.tuple_expr list ]
| `Tuple of Cfg.tuple_expr list ]
is not compatible with type
[ `ID_False
| `ID_Nil
| `ID_Scope of Cfg.identifier * string
| `ID_Self
| `ID_True
| `ID_UScope of string
| `ID_Var of Cfg.var_kind * string
| `Lit_Array of Cfg.star_expr list
| `Lit_Atom of string
| `Lit_BigNum of Big_int.big_int
| `Lit_FixNum of int
| `Lit_Float of string * float
| `Lit_Hash of
(Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_) list
| `Lit_Range of
bool * Cfg.star_expr Cfg.expr_ * Cfg.star_expr Cfg.expr_
| `Lit_Regexp of string * string
| `Lit_String of string
| `Tuple of Cfg.tuple_expr list ]
The second variant type does not allow tag(s) `Star
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment