From 8ac323bb58c0e1891dea6492160939eb1b6bb1d2 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Fri, 29 Apr 2016 14:58:17 -0700 Subject: add wasm.cpp which does full type detection for blocks, and prepare for full type checking everywhere --- check.py | 1 + 1 file changed, 1 insertion(+) (limited to 'check.py') diff --git a/check.py b/check.py index d59358311..977da0764 100755 --- a/check.py +++ b/check.py @@ -572,6 +572,7 @@ print '\n[ checking example testcases... ]\n' cmd = [os.environ.get('CXX') or 'g++', '-std=c++11', os.path.join('test', 'example', 'find_div0s.cpp'), os.path.join('src', 'pass.cpp'), + os.path.join('src', 'wasm.cpp'), os.path.join('src', 'passes', 'Print.cpp'), '-Isrc', '-g', '-lasmjs', '-lsupport', '-Llib/.', '-pthread'] if os.environ.get('COMPILER_FLAGS'): -- cgit v1.2.3