Enable the type checker by default

.github/workflows/ci.yml

@@ -36,6 +36,7 @@ jobs:
           for i in src/parser/cxx/*.cc src/lsp/cxx/lsp/*.cc src/frontend/cxx/*.cc; do
             echo "Parsing $i"
             ./build/src/frontend/cxx \
+              -fno-check \
               -I src/parser \
               -I src/lsp \
               -I build/_deps/utfcpp-src/source \
@@ -52,6 +53,7 @@ jobs:
           for i in src/parser/cxx/*.cc src/lsp/cxx/lsp/*.cc src/frontend/cxx/*.cc; do
             echo "Parsing $i"
             ./build/src/frontend/cxx \
+              -fno-check \
               -toolchain linux \
               -I src/parser \
               -I src/lsp \
@@ -143,7 +145,7 @@ jobs:
 
       - name: Install dependencies
         run: |
-          npm ci
+          npm ci --ignore-scripts
 
       - name: Download MLIR
         run: |
@@ -208,6 +210,7 @@ jobs:
           for i in src/parser/cxx/*.cc src/lsp/cxx/lsp/*.cc src/frontend/cxx/*.cc; do
             echo "Parsing $i"
             ./build/src/frontend/cxx \
+              -fno-check \
               -toolchain macos \
               -I src/parser \
               -I src/lsp \
@@ -229,7 +232,7 @@ jobs:
 
       - name: Build
         run: |
-          npm ci
+          npm ci --ignore-scripts
           npm run build:wasi
 
       - name: Install wasmtime
@@ -243,7 +246,7 @@ jobs:
             -W threads=y -S threads=y \
             --dir ${{github.workspace}}/build.wasi/install::/ \
             --dir tests::tests \
-            ${{github.workspace}}/build.wasi/install/usr/bin/cxx.wasm -v tests/manual/source.cc
+            ${{github.workspace}}/build.wasi/install/usr/bin/cxx.wasm -fno-check -v tests/manual/source.cc
 
       - name: Parse C++ source files (wasmtime runtime)
         run: |
@@ -259,6 +262,7 @@ jobs:
                   --dir=build.wasi/src/lsp::build.wasi/src/lsp \
                   --dir=build.wasi/install/usr::/usr \
                   build.wasi/install/usr/bin/cxx.wasm \
+              -fno-check \
               -I src/parser \
               -I src/lsp \
               -I build.wasi/_deps/utfcpp-src/source \
@@ -297,7 +301,7 @@ jobs:
 
       - name: Build
         run: |
-          npm ci
+          npm ci --ignore-scripts
           npm run build -w @robertoraggi/cxx-playground -- --base /cplusplus
           mkdir -p packages/cxx-playground/dist/docs
           cp -a packages/cxx-frontend/docs/. packages/cxx-playground/dist/docs

.github/workflows/mlir.yaml

@@ -17,7 +17,7 @@ jobs:
 
       - name: Install dependencies
         run: |
-          npm ci
+          npm ci --ignore-scripts
 
       - name: Build
         run: |

.github/workflows/publish.yml

@@ -29,7 +29,7 @@ jobs:
 
       - name: Build
         run: |
-          npm ci
+          npm ci --ignore-scripts
           npm -w cxx-frontend run build
 
       - name: Publish

README.md

@@ -38,7 +38,7 @@ uv sync && source .venv/bin/activate
 configure the source code
 
 ```sh
-cmake --preset default
+cmake --preset default-mlir -DCMAKE_PREFIX_PATH=<path to llvm>
 ```
 
 build
@@ -54,10 +54,10 @@ cd build
 ctest --progress
 ```
 
-Dump the AST to stdout
+Disable the type checker and dump the AST to stdout
 
 ```sh
- ./build/src/frontend/cxx tests/manual/source.cc -ast-dump
+ ./build/src/frontend/cxx -fno-check -ast-dump tests/manual/source.cc
 ```
 
 ## Build the npm package (requires docker)
@@ -71,13 +71,15 @@ npm ci
 compile WASM and TypeScript code
 
 ```sh
+npm ci --ignore-scripts
+npm run download-mlir # requires gh cli tool
 npm run build:cxx-frontend
 ```
 
 ## Build for WASM/WASI (requires docker)
 
 ```sh
-npm ci
+npm ci --ignore-scripts
 npm run build:wasi
 ```