@hackage / c-expr-dsl

DSL for the language support by c-expr-runtime

Changelog

Revision history for c-expr-dsl

0.1.0.0 -- 2026-07-14

Breaking changes
  • CheckedMacroTypeExpr is renamed to TypecheckedMacroTypeExpr and gains Foldable and Traversable instances.
  • CheckedMacroValueExpr is renamed to TypecheckedMacroValueExpr and gains Functor, Foldable, and Traversable instances.
  • TypeSource is renamed to CTypeSource; its constructors TypeSourceTypedef and TypeSourceMacroType are renamed to FromTypedef and FromMacroType.
  • Re-export parse-related symbols from C.Expr.Parse; demote lower-level modules to other-modules.
  • Re-export typecheck-related symbols from C.Expr.Typecheck; demote C.Expr.Typecheck.Expr to other-modules; C.Expr.Typecheck.Type is still an exposed module.
  • Expr and Term gain a ctx :: Ctx type index (from debruijn) for the local macro parameter scope. Macro.macroArgs :: [Name] is replaced by an existential macroParams :: Vec ctx Name; macroExpr becomes Expr ctx Ps. sameMacro compares macros structurally, ignoring location.
  • TypeTagged !TagKind !Name is now a separate Literal constructor instead of a TypeLit variant.
  • Some macros that were previously erroneously parsed as function-like are now parsed as object-like. See PR #1990.
  • Remove the sameMacro function. See PR #1983.
  • CharLiteral.charLiteralValue is now CChar; multi-character constants and numeric escapes wider than a single byte are rejected during parsing.
  • StringLiteral.stringLiteralValue is now a strict ByteString holding the UTF-8 execution-encoding bytes (previously [CharValue], then ByteArray).
  • Rename C.Expr.Syntax.Literals to C.Expr.Syntax.Literal.
  • Rename Name to Identifier (module C.Expr.Syntax.Identifier). The new Name (module C.Expr.Syntax.Name) distinguishes ordinary names (NameOrdinary) from tagged-type names (NameTagged Identifier TagKind). Tagged types now parse as Var nodes rather than TypeTagged literals.
  • The Ps pass gains an annotation type parameter (Ps ann); XVar (Ps ann) carries a per-variable annotation. The Tc pass fixes its annotation to Maybe QuantTy.
  • tcMacros no longer takes a typedef set or the injectType, injectValue, and injectTaggedType callbacks. It now takes a single ann -> Maybe QuantTy projection mapping each variable's parse annotation to its type (Nothing falls back to previously-typechecked macros). Accordingly, CTypeSource, buildTypedefEnv, and the MacroTcInjectError result constructor are removed.
New features
  • Parse macro types in addition to expressions; defer the type-vs-value distinction to the typechecking phase. See PR #1862.
  • Add test suite covering the parser (token-based and real-world libclang tests) and the typechecker. See PR #1862.
  • Local macro parameters in function-like macros are resolved to de Bruijn indices (LocalParam (Idx ctx)) at parse time, distinguishing them from free variables (Var).
  • tcMacro now rejects type-like macros that expand to an incomplete type (void or const void at the top level) with a new TcIncompleteTypeMacro error. Pointer-to-incomplete types (e.g. void *) are still accepted.
  • Support multi-line macro definitions. See PR #1993.
Minor changes
  • New unit test suite Test.CExpr.Parse.Literal covering all character and string literal forms, escape sequences, and rejection cases.
Bug fixes
  • In accordance with the C reference, parse macros only as function-like when there is no whitespace between the macro name and the opening parenthesis of the parameter list. See PR #1990.

0.1.0-alpha -- 2026-02-06

  • Release candidate.