nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 1e5151a 8a5ba1d)
Merge: model: introduce the bottom type
authorJean Privat <jean@pryen.org>
Sat, 23 May 2015 01:01:31 +0000 (21:01 -0400)
committerJean Privat <jean@pryen.org>
Sat, 23 May 2015 01:01:31 +0000 (21:01 -0400)
commitb70c8c44a35fcd949f60ebf812af2dd8522811c6
tree7000c14f8f20baef9ec0dca2194ad2cdd8fa3202tree | snapshot
parent1e5151a3a629a5806c19617cf9ae8b02e0693dbbcommit | diff
parent8a5ba1d73d7a1a916a3f0853b52b4740d7cfb625commit | diff
Merge: model: introduce the bottom type

An old branch that was on some disk that I forgot to PR.

While the bottom type is useless now, it should be useful on future PR.
Type theorists and lattice fanboys might like it.

Pull-Request: #1374
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Nit language project; an oo programing language and its tool suite.