nitc/typing: isa uses intersect_types and diff_types
authorJean Privat <jean@pryen.org>
Thu, 2 Mar 2017 21:06:45 +0000 (16:06 -0500)
committerJean Privat <jean@pryen.org>
Fri, 10 Mar 2017 15:37:19 +0000 (10:37 -0500)
commit85e53162b675e2ef5f045c3b0c81afe48bfb0a65
tree62fe859c3910eb482fd84fdf9091593c052d87de
parent3a2fe27c012d625be19197a0012b45235e764870
nitc/typing: isa uses intersect_types and diff_types

Signed-off-by: Jean Privat <jean@pryen.org>
src/semantize/typing.nit