Develop

.clang-tidy

@@ -1,4 +1,7 @@
 ---
+
+# Unfortunately const-correctness seems to be almost completely broken
+# (clang 19)
 Checks: "*,
         -abseil-*,
         -altera-*,
@@ -11,18 +14,29 @@ Checks: "*,
         -readability-else-after-return,
         -readability-static-accessed-through-instance,
         -readability-avoid-const-params-in-decls,
+        -readability-simplify-boolean-expr,
         -cppcoreguidelines-non-private-member-variables-in-classes,
         -misc-non-private-member-variables-in-classes,
+        -misc-const-correctness,
 "
 WarningsAsErrors: ''
-HeaderFilterRegex: ''
+HeaderFilterRegex: '^(src|include)/.*'
 FormatStyle:     none
 
-CheckOptions:
-  readability-identifier-length.IgnoredVariableNames: 'x|y|z|id|ch'
-  readability-identifier-length.IgnoredParameterNames: 'x|y|z|id|ch'
-
 
+# Command line options
+ExtraArgs: [
+  '-Wno-unknown-warning-option',
+  '-Wno-ignored-optimization-argument',
+  '-Wno-unused-command-line-argument',
+  '-Wno-unknown-argument',
+  '-Wno-gcc-compat'
+]
 
+# Quiet mode is set via command line with --quiet
+# It doesn't have a YAML equivalent
 
+CheckOptions:
+  readability-identifier-length.IgnoredVariableNames: 'x|y|z|id|ch|to'
+  readability-identifier-length.IgnoredParameterNames: 'x|y|z|id|ch|to'
 

.github/workflows/ci.yml

@@ -10,7 +10,7 @@ on:
       - develop
 
 env:
-  CLANG_TIDY_VERSION: "16.0.0"
+  CLANG_TIDY_VERSION: "19.1.1"
   VERBOSE: 1
 
 
@@ -29,10 +29,11 @@ jobs:
       # and your own projects needs
       matrix:
         os:
-          - ubuntu-22.04
+          - ubuntu-latest
         compiler:
           # you can specify the version after `-` like "llvm-16.0.0".
-          - gcc-13
+          - gcc-14
+          - llvm-19.1.1
         generator:
           - "Ninja Multi-Config"
         build_type:
@@ -45,8 +46,8 @@ jobs:
         include:
           # Add appropriate variables for gcov version required. This will intentionally break
           # if you try to use a compiler that does not have gcov set
-          - compiler: gcc-13
-            gcov_executable: gcov
+          - compiler: gcc-14
+            gcov_executable: gcov-14
             enable_ipo: On
 
 
@@ -55,6 +56,10 @@ jobs:
             packaging_maintainer_mode: OFF
             package_generator: TBZ2
 
+          - compiler: llvm-19.1.1
+            enable_ip: Off
+            gcov_executable: "llvm-cov gcov"
+
 
     steps:
       - name: Check for llvm version mismatches
@@ -114,7 +119,7 @@ jobs:
         # See https://cmake.org/cmake/help/latest/manual/ctest.1.html for more detail
         run: |
           ctest -C ${{matrix.build_type}}
-          gcovr -j ${{env.nproc}} --delete --root ../ --print-summary --xml-pretty --xml coverage.xml . --gcov-executable '${{ matrix.gcov_executable }}'
+          gcovr -j ${{env.nproc}} --root ../ --print-summary --xml-pretty --xml coverage.xml . --gcov-executable '${{ matrix.gcov_executable }}'
 
       - name: Windows - Test and coverage
         if: runner.os == 'Windows'
@@ -139,6 +144,8 @@ jobs:
       - name: Publish to codecov
         uses: codecov/codecov-action@v2
         with:
+          fail_ci_if_error: true
           flags: ${{ runner.os }}
           name: ${{ runner.os }}-coverage
+          token: ${{ secrets.CODECOV_TOKEN }}
           files: ./build/coverage.xml

.github/workflows/wasm.yml

@@ -0,0 +1,59 @@
+name: Build Intro WASM and Deploy to GitHub Pages
+
+on:
+  pull_request:
+  release:
+    types: [published]
+  push:
+    branches: [main, develop]
+    tags: ['**']
+
+permissions:
+  contents: write
+
+jobs:
+  build-and-deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Setup Emscripten
+        uses: mymindstorm/setup-emsdk@v14
+        with:
+          version: 'latest'
+
+      - name: Install Ninja
+        run: sudo apt-get install -y ninja-build
+
+      - name: Configure CMake
+        run: emcmake cmake -B build -G Ninja -DCMAKE_BUILD_TYPE=Release
+
+      - name: Build all WASM targets
+        run: emmake cmake --build build --target web-dist
+
+      - name: Prepare deployment
+        run: |
+          # web-dist target already created build/web-dist/
+          # Just copy it to dist/ for GitHub Pages action
+          cp -r build/web-dist dist
+
+      - name: Determine deploy path
+        id: deploy-path
+        if: github.event_name != 'pull_request' && github.event_name != 'release'
+        run: |
+          if [[ "$GITHUB_REF" == refs/tags/* ]]; then
+            echo "path=${GITHUB_REF#refs/tags/}" >> $GITHUB_OUTPUT
+          elif [[ "$GITHUB_REF" == refs/heads/main ]]; then
+            echo "path=." >> $GITHUB_OUTPUT
+          elif [[ "$GITHUB_REF" == refs/heads/develop ]]; then
+            echo "path=develop" >> $GITHUB_OUTPUT
+          fi
+
+      - name: Deploy to GitHub Pages
+        if: github.event_name != 'pull_request' && github.event_name != 'release'
+        uses: peaceiris/actions-gh-pages@v4
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./dist
+          destination_dir: ${{ steps.deploy-path.outputs.path }}
+          keep_files: true

.gitignore

@@ -32,3 +32,5 @@ $RECYCLE.BIN/
 .TemporaryItems
 ehthumbs.db
 Thumbs.db
+
+**/.claude/settings.local.json

CLAUDE.md

@@ -0,0 +1,98 @@
+# CLAUDE.md
+
+This file provides guidance to Claude Code (claude.ai/code) when working with code in this repository.
+
+You are an expert in C++. You use C++23 and prefer to use constexpr wherever possible. You always apply C++ Best Practices as taught by Jason Turner.
+
+You are also an expert in scheme-like languages and know the pros and cons of various design decisions.
+
+
+
+## Build Commands
+- Configure: `cmake -S . -B ./build`
+- Build: `cmake --build ./build`
+- Run tests: `cd ./build && ctest -C Debug`
+- Run specific test: `cd ./build && ctest -C Debug -R "unittests.*"` or `ctest -C Debug -R "constexpr.*"`
+- Build constexpr tests: `cmake --build ./build --target constexpr_tests`
+- Build runtime assertion tests: `cmake --build ./build --target relaxed_constexpr_tests`
+- Run a specific test category: `./test/relaxed_constexpr_tests "[category]"`
+
+## Testing
+- The library is designed to run both at compile-time and runtime
+- `constexpr_tests` target compiles tests with static assertions
+  - Will fail to compile if tests fail since they use static assertions
+  - Makes debugging difficult as you won't see which specific test failed
+  - Will always fail to compile if there's a fail test; use relaxed_constexpr_tests or directly execute the tests with cons_expr command line tool for debugging
+- `relaxed_constexpr_tests` target compiles with runtime assertions
+  - Preferred for debugging since it shows which specific tests fail
+  - Use this target when developing/debugging: 
+    ```bash
+    cmake --build ./build --target relaxed_constexpr_tests && ./build/test/relaxed_constexpr_tests
+    ```
+
+### Catch2 Command Line Arguments
+- Run specific test tag: `./build/test/relaxed_constexpr_tests "[tag]"`
+- Run tests with specific name: `./build/test/relaxed_constexpr_tests "quote function"`
+- Increase verbosity: `./build/test/relaxed_constexpr_tests --verbosity high`
+- List all tests: `./build/test/relaxed_constexpr_tests --list-tests`
+- List all tags: `./build/test/relaxed_constexpr_tests --list-tags`
+- Show help: `./build/test/relaxed_constexpr_tests --help`
+
+### Command-line Debugging
+- Prefer using the `cons_expr` command-line tool for quick debugging and iteration
+- Build it with: `cmake --build ./build --target cons_expr_cli`
+- Test expressions directly with: `./build/src/cons_expr_cli/cons_expr_cli --exec "(expression-to-test)"`
+- This is faster than rebuilding and running test suites for quick iteration
+
+### Writing Tests
+- All tests should pass in both modes (constexpr and runtime)
+- Catch2 is used for testing framework
+- Use the TEST_CASE macro with meaningful name and tags
+- Split complex tests into smaller, focused tests
+- All constexpr tests should use STATIC_CHECK to ensure they can be evaluated at compile time
+- When testing parsing functions:
+  - Use `std::string_view` when passing string literals
+  - Remember `parse()` always returns a list containing the parsed expressions
+  - Navigate the result carefully by checking the types at each level
+- Separate parse tests (parser_tests.cpp) from evaluation tests (constexpr_tests.cpp)
+
+## Code Style
+- C++23 standard
+- No C++ extensions (CMAKE_CXX_EXTENSIONS OFF)
+- Treat warnings as errors
+- Code is header-only library (include/cons_expr)
+- Header files follow #ifndef/#define guard pattern
+- Entire system is `constexpr` capable unless it uses IO
+- Use modern C++ style casts over C-style casts
+- Avoid macros completely except for header guards
+- Prefer templates, constexpr functions or concepts over macros
+- Use `static constexpr` for compile-time known constants
+- Prefer local constants within functions over function variables for readability
+
+## Naming and Structure
+- Namespace: lefticus
+- Use snake_case for variables and functions
+- Classes/structs use PascalCase
+- Template parameters use PascalCase
+- All objects are immutable once captured
+
+## Error Handling
+- Avoid exceptions and dynamic allocations
+- Use std::expected for error handling
+- Check bounds and sizes before access
+
+## Parser and Expression Structure
+- `parse()` function always returns a list containing the parsed expressions
+- Even a single expression is wrapped in a list
+- Expression types are stored as variants
+- Elements can be:
+  - Atoms (identifiers, symbols, strings, numbers, booleans)
+  - Lists (collections of elements)
+  - Literal lists (quoted lists that aren't evaluated)
+  - Closures (lambda functions with environment)
+  - Errors (with expected and got information)
+- The parser handles nested structures, quotes, and comments
+- Use string_view for all string literals in parser tests
+
+## Known Issues
+- String handling: Special attention needed for escaped quotes in strings

CMakeLists.txt

@@ -23,8 +23,19 @@ project(
   LANGUAGES CXX C)
 
 include(cmake/PreventInSourceBuilds.cmake)
+include(cmake/Emscripten.cmake)
 include(ProjectOptions.cmake)
 
+if(MSVC)
+
+elseif(CMAKE_CXX_COMPILER_ID MATCHES ".*Clang")
+  add_compile_options(-fconstexpr-steps=12712420)
+elseif(CMAKE_CXX_COMPILER_ID STREQUAL "GNU")
+
+else()
+
+  # TODO support Intel compiler
+endif()
 
 cons_expr_setup_options()
 
@@ -67,6 +78,11 @@ add_subdirectory(src)
 
 add_subdirectory(examples)
 
+# Create unified web deployment directory (for WASM builds)
+if(EMSCRIPTEN)
+  cons_expr_create_web_dist()
+endif()
+
 # Don't even look at tests if we're not top level
 if(NOT PROJECT_IS_TOP_LEVEL)
   return()

Dependencies.cmake

@@ -13,19 +13,19 @@ function(cons_expr_setup_dependencies)
       NAME
       spdlog
       VERSION
-      1.11.0
+      1.14.1
       GITHUB_REPOSITORY
       "gabime/spdlog"
       OPTIONS
       "SPDLOG_USE_STD_FORMAT ON")
   endif()
 
   if(NOT TARGET Catch2::Catch2WithMain)
-    cpmaddpackage("gh:catchorg/Catch2@3.3.2")
+    cpmaddpackage("gh:catchorg/Catch2@3.8.1")
   endif()
 
   if(NOT TARGET CLI11::CLI11)
-    cpmaddpackage("gh:CLIUtils/CLI11@2.3.2")
+    cpmaddpackage("gh:CLIUtils/CLI11@2.4.2")
   endif()
 
   if(NOT TARGET ftxui::screen)