remove irrelevant comment.
This commit is contained in:
parent
961806617f
commit
502a13756a
|
@ -1225,7 +1225,6 @@ impl TypedPattern {
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn tipo(&self, value: &TypedExpr) -> Option<Rc<Type>> {
|
pub fn tipo(&self, value: &TypedExpr) -> Option<Rc<Type>> {
|
||||||
// expect thing: Wow = thing
|
|
||||||
match self {
|
match self {
|
||||||
Pattern::Int { .. } => Some(builtins::int()),
|
Pattern::Int { .. } => Some(builtins::int()),
|
||||||
Pattern::Constructor { tipo, .. } => Some(tipo.clone()),
|
Pattern::Constructor { tipo, .. } => Some(tipo.clone()),
|
||||||
|
|
Loading…
Reference in New Issue