nitlanguage / nit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 861463f ef8f752)
Merge: typing: Add a mechanism to disable warnings
authorJean Privat <jean@pryen.org>
Sat, 25 Apr 2020 07:12:47 +0000 (03:12 -0400)
committerJean Privat <jean@pryen.org>
Sat, 25 Apr 2020 07:12:47 +0000 (03:12 -0400)
Add a mechanism to suppress warnings during the typing phase. I also took the opportunity to modify a bad indentation in the file :smile: .

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

1  2 
src/semantize/typing.nit patch | diff1 | diff2 | blob | history

diff --cc src/semantize/typing.nit
Simple merge
Nit language project; an oo programing language and its tool suite.