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)
commit9f2be5bd6fa9dfddfd6f0bfd63e9d49346f31b7a
tree552cbbfd34d2650fbe8e10bc77e837fb2a70d01d
parent861463f10d1adf030591154eb340d9d53f5b36c7
parentef8f752b61975bcf75b66f109e0b3c9c3195e97a
Merge: typing: Add a mechanism to disable warnings

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>
src/semantize/typing.nit