Wildcard in syntactic sugar for sequence is parsed as PVar, not as PWild
If bla has type something -> unit, it looks like that
bla sthing;
let ...
is parsed as LetIn(_, PVar(_), _, _) and not as what I expected LetIn(_, PWild(_), _, _)
If bla has type something -> unit, it looks like that
bla sthing;
let ...
is parsed as LetIn(_, PVar(_), _, _) and not as what I expected LetIn(_, PWild(_), _, _)