Add initial error reporting framework

.clang-tidy

@@ -32,6 +32,7 @@ misc-definitions-in-headers,\
 -cppcoreguidelines-owning-memory,\
 -cppcoreguidelines-avoid-const-or-ref-data-members,\
 -cppcoreguidelines-rvalue-reference-param-not-moved,\
+-cppcoreguidelines-pro-bounds-constant-array-index,\
 -bugprone-easily-swappable-parameters,\
 -bugprone-reserved-identifier,\
 -bugprone-multi-level-implicit-pointer-conversion,\

.github/workflows/build.yml

@@ -51,7 +51,7 @@ jobs:
       JANK_SANITIZE: ${{ matrix.sanitize }}
       ASAN_OPTIONS: detect_leaks=0
       TERM: xterm
-    timeout-minutes: 30
+    timeout-minutes: 35
     steps:
       - uses: actions/checkout@v4
         with:

.gitmodules

@@ -22,6 +22,9 @@
 [submodule "compiler+runtime/third-party/boost-preprocessor"]
 	path = compiler+runtime/third-party/boost-preprocessor
 	url = https://github.com/jank-lang/boost-preprocessor.git
+[submodule "compiler+runtime/third-party/ftxui"]
+	path = compiler+runtime/third-party/ftxui
+	url = https://github.com/jank-lang/FTXUI.git
 [submodule "compiler+runtime/test/bash/clojure-test-suite/clojure-test-suite"]
 	path = compiler+runtime/test/bash/clojure-test-suite/clojure-test-suite
 	url = https://github.com/jank-lang/clojure-test-suite

compiler+runtime/CMakeLists.txt

@@ -42,7 +42,7 @@ execute_process(
   ERROR_QUIET OUTPUT_STRIP_TRAILING_WHITESPACE
 )
 
-set(jank_version "${CMAKE_PROJECT_VERSION}-${jank_git_hash}")
+set(jank_version "jank-${CMAKE_PROJECT_VERSION}-${jank_git_hash}")
 
 set(jank_cxx_standard cxx_std_20)
 
@@ -71,6 +71,8 @@ set(
   -Wno-implicit-fallthrough
   -Wno-covered-switch-default
   -Wno-invalid-offsetof
+  -Wno-deprecated-declarations
+  -Wno-c++23-extensions
   -fno-common
   -fno-rtti
   -fexceptions
@@ -104,6 +106,10 @@ elseif(CMAKE_BUILD_TYPE STREQUAL "Release" OR CMAKE_BUILD_TYPE STREQUAL "RelWith
   list(APPEND jank_common_compiler_flags -DJANK_RELEASE)
 endif()
 
+if(jank_tests)
+  list(APPEND jank_common_compiler_flags -Werror -DJANK_TEST)
+endif()
+
 include(cmake/coverage.cmake)
 include(cmake/analyze.cmake)
 include(cmake/sanitization.cmake)
@@ -158,6 +164,13 @@ add_library(
   src/cpp/jank/util/clang_format.cpp
   src/cpp/jank/util/string_builder.cpp
   src/cpp/jank/profile/time.cpp
+  src/cpp/jank/ui/highlight.cpp
+  src/cpp/jank/error.cpp
+  src/cpp/jank/error/report.cpp
+  src/cpp/jank/error/lex.cpp
+  src/cpp/jank/error/parse.cpp
+  src/cpp/jank/error/analyze.cpp
+  src/cpp/jank/read/source.cpp
   src/cpp/jank/read/lex.cpp
   src/cpp/jank/read/parse.cpp
   src/cpp/jank/runtime/core.cpp
@@ -249,6 +262,7 @@ target_include_directories(
   "$<BUILD_INTERFACE:${PROJECT_SOURCE_DIR}/third-party/magic_enum/include/magic_enum>"
   "$<BUILD_INTERFACE:${PROJECT_SOURCE_DIR}/third-party/cli11/include>"
   "$<BUILD_INTERFACE:${PROJECT_SOURCE_DIR}/third-party/fmt/include>"
+  "$<BUILD_INTERFACE:${PROJECT_SOURCE_DIR}/third-party/ftxui/include>"
   "$<BUILD_INTERFACE:${PROJECT_SOURCE_DIR}/third-party/libzippp/src>"
 )
 
@@ -262,6 +276,7 @@ set(BUILD_SHARED_LIBS OFF)
 
 include(FetchContent)
 include(cmake/dependency/fmt.cmake)
+include(cmake/dependency/ftxui.cmake)
 include(cmake/dependency/libzippp.cmake)
 
 find_package(OpenSSL REQUIRED COMPONENTS Crypto)
@@ -278,6 +293,7 @@ target_link_libraries(
   clang-cpp
   LLVM
   Boost::filesystem
+  ftxui::screen ftxui::dom
   OpenSSL::Crypto
 )
 
@@ -503,3 +519,6 @@ if(NOT CMAKE_SKIP_INSTALL_RULES)
   include(cmake/install.cmake)
 endif()
 # ---- Install rules ----
+
+# Summary
+include(cmake/summary.cmake)

compiler+runtime/cmake/dependency/ftxui.cmake

@@ -0,0 +1,16 @@
+set(CMAKE_C_FLAGS_OLD "${CMAKE_C_FLAGS}")
+set(CMAKE_CXX_FLAGS_OLD "${CMAKE_CXX_FLAGS}")
+set(BUILD_SHARED_LIBS_OLD ${BUILD_SHARED_LIBS})
+set(CMAKE_CXX_CLANG_TIDY_OLD ${CMAKE_CXX_CLANG_TIDY})
+  set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -w")
+  set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -w")
+  set(CMAKE_CXX_CLANG_TIDY "")
+  set(FTXUI_QUIET ON CACHE BOOL "Disable noisy CMake output")
+
+  add_subdirectory(third-party/ftxui)
+
+  unset(FTXUI_QUIET)
+set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS_OLD}")
+set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS_OLD}")
+set(BUILD_SHARED_LIBS ${BUILD_SHARED_LIBS_OLD})
+set(CMAKE_CXX_CLANG_TIDY ${CMAKE_CXX_CLANG_TIDY_OLD})

compiler+runtime/cmake/summary.cmake

@@ -0,0 +1,14 @@
+function(jank_message msg)
+  message(STATUS "${msg}")
+endfunction()
+
+jank_message("┌─ jank options ─────────────────────")
+jank_message("│ build type         : ${CMAKE_BUILD_TYPE}")
+jank_message("│ jank version       : ${jank_version}")
+jank_message("│ jank tests         : ${jank_tests}")
+jank_message("│ jank coverage      : ${jank_coverage}")
+jank_message("│ jank analyze       : ${jank_analyze}")
+jank_message("│ jank sanitization  : ${jank_sanitize}")
+jank_message("│ clang version      : ${LLVM_PACKAGE_VERSION}")
+jank_message("│ clang prefix       : ${CLANG_INSTALL_PREFIX}")
+jank_message("└─────────────────────────────────────")

compiler+runtime/include/cpp/jank/analyze/processor.hpp

@@ -29,11 +29,9 @@ namespace jank::analyze
     file
   };
 
-  using error = read::error;
-
   struct processor
   {
-    using expression_result = result<expression_ptr, error>;
+    using expression_result = result<expression_ptr, error_ptr>;
 
     processor() = delete;
     processor(runtime::context &rt_ctx);
@@ -78,7 +76,7 @@ namespace jank::analyze
                                  expression_position,
                                  option<expr::function_context_ptr> const &,
                                  native_bool needs_box);
-    jank::result<expr::function_arity<expression>, error>
+    result<expr::function_arity<expression>, error_ptr>
     analyze_fn_arity(runtime::obj::persistent_list_ptr const &,
                      native_persistent_string const &name,
                      local_frame_ptr &);