nitlanguage / nit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9a1a82f 4fdd1ce)
Merge: typing: Add `do_typing` on AExpr
authorJean Privat <jean@pryen.org>
Sat, 25 Apr 2020 07:12:45 +0000 (03:12 -0400)
committerJean Privat <jean@pryen.org>
Sat, 25 Apr 2020 07:12:45 +0000 (03:12 -0400)
Add a way to type an `AExpr` individually.

In my case this method is used in order to type expressions provided for the `old()` in ensures contract.

Pull-Request: #2819
Reviewed-by: Jean Privat <jean@pryen.org>


Trivial merge
Nit language project; an oo programing language and its tool suite.