thanos / ex_datalog / 42c415a8538ce166a1df7d55f1ed66ffd636f4e9-PR-86

94%

main: 94%

Build Type

Pull #86

github

Committed by thanos

Commit Message

Completed in this session

Medium issues:
 - M2: Changed @callback evaluate and all @spec evaluate from map() to Binding.t() across all 5 constraint modules + constraint.ex
 - M4: Replaced false "extensibility" claim with accurate description of closed dispatch
 - M7: Refactored conformance macro to pass backend module directly via unquote instead of injecting alias/@schemas into the caller

Low issues:
 - L2: Added Logger.debug for unknown relation in both Storage.Map.size/2 and Storage.ETS.size/2
 - L3: Extracted build_result/8 and emit_result_telemetry/5 from do_evaluate_inner
 - L4: Widened teardown callback return type to :ok | {:error, term()}
 - L5: Added :set rationale section to ETS moduledoc
 - L6: Widened from_backend spec from {module(), term()} to {atom(), term()}
 - L7: Added alias ExDatalog.IR to constraint.ex and used IR.from_constraint/1 instead of full path

Fix also: Telemetry test emit_stop/4 call updated to emit_stop/5 with explicit storage type (leftover from prior M9 fix)
601 tests, 0 failures, credo clean, dialyzer clean, formatter clean.

Pull Request Pull Request #86: V0.2.0/constraint storage foundations

Coverage Stats

193 of 207 new or added lines in 15 files covered. (93.24%)

5 existing lines in 1 file now uncovered.

870 of 930 relevant lines covered (93.55%)

143.83 hits per line