nitlanguage
/
nit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from:
c4dad80
)
Merge: type works: handle implicitly fixed formal parameters
author
Jean Privat
<jean@pryen.org>
Mon, 28 Jul 2014 18:29:19 +0000
(14:29 -0400)
committer
Jean Privat
<jean@pryen.org>
Mon, 28 Jul 2014 18:29:19 +0000
(14:29 -0400)
~~~
class G[E: Int]
# Here, since Int cannot have a subclass, then E == Int (implicitly fixed)
end
~~~
This series enhance the type system to understand this case, and give the user a warning when bounding formal parameter with final classes.
Pull-Request: #618
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
No differences found