Merge: model: add `MType::as_notnullable` to remove the `nullable` modifier
authorJean Privat <jean@pryen.org>
Mon, 28 Jul 2014 18:29:23 +0000 (14:29 -0400)
committerJean Privat <jean@pryen.org>
Mon, 28 Jul 2014 18:29:23 +0000 (14:29 -0400)
commit6277c0a9e7805ae5db6ad207112f7ffb8b7830c0
tree664889a04fc5c83c130e33611a6f081e771cd059
parentc4dad802d53fca28d42e34d61e0359b7797d1563
parent215a0c6ce97f300c51bce2293b4497b208992aac
Merge: model: add `MType::as_notnullable` to remove the `nullable` modifier

Basically replace

~~~
if m isa MNullableType then m = m.mtype
~~~

by

~~~
m = m.as_notnullable
~~~

Pull-Request: #619
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
src/model/model.nit
src/typing.nit