git.iko.soy/knot-legacy
on master help sign in
58f5d8fDrop the `Nothing` special-case from Maybe `#`-arguments2026.9.6.1347iko 7094642Extend collection `#`-argument elements to Bytes, Uuid, enum, and refined2026.9.6.1217iko 7d8792eClose `#`-argument gaps: loud errors, and a concrete default beats `_`iko 0653e18Let Vec, List, and Rel `#`-arguments share the collection flag syntaxiko 33339f9Allow repeated `#`-arg declarations across scopes, with agreement rulesiko c9c7da7Show per-relation on-disk size in `db info`iko de77933Prettify `db info`: TTY-aware color, tree layout, human-readable sizesiko 07dd9f1Add `db info`: per-source schema + full migration chain, in knot termsiko 783cc1cMove binary dump/restore onto the compiled program as `db` subcommandsiko 38697fcAdd `knot dump` / `knot restore`: binary db snapshot for the knot CLIiko 19f59ccRoute descriptor consumers through knot-descriptor's parseriko 0e5cf56Add knot-descriptor: a single owner for the schema-descriptor grammariko a620d5bContain the knot-compile-rt FFI boundary; share the marshalling helperiko 5e8376bContain compile-path panics behind the FFI boundary; reject dangling field typesiko 7f54875Parse Int/Float units as ordinary type application, normalized in inferenceiko 2d1d7a0Use native knot source syntax for the base.compile ADT-decl wire formatiko 5aefee7Verify refined-type introductions at compile time; fix ADT ctor-variance wire parseiko b81982bValidate compiled snippets' relations against the host, before runningiko 553ca19Share caller db with compiled snippets so compile results are transactional in atomiciko 8faff2fRefcount JIT code modules; free them when the last closure dropsiko fdfd878Reject refined types in base.compile expected typesiko 616fdc7Free JIT modules for code-free base.compile resultsiko 36ccf17Validate nested refined types in base.compile expected typesiko 27883ccValidate base.compile results against host refined-type predicatesLancelot a229ffeExtend CLI-overridable types for #name argsiko c67a2b4Aggregates return one-element relations; drop obsolete docs2026.9.3.1342iko 9078a7cAdd `#name` argument definitions — CLI-settable program parameters2026.9.2.548iko 0041ab6Dump uses the embedded with-block source for the declarations2026.9.1.1435iko 419bbb1Add a dump command: print the database state as a knot program2026.9.1.1316iko 376ce5aRemove the full keyword; *rel = expr handles both write forms2026.9.1.1038iko c50d621Generalize the run ack: the frame covers the whole query2026.9.1.827iko 69de742run/run1 take a Vec of &-ids acknowledging the full reads2026.9.1.653iko 81d59feReplace the nameOf keyword with the & sigil2026.9.1.532iko 7900ab4Add the column to the nameOf identity (file:line:col:name)2026.9.1.513iko 06a0893Add the nameOf operator: a value identity string (file:line:name)2026.9.1.439iko 0ddc115Suppress the full-read warning per run/run1 with a trailing comment2026.8.30.1410iko 0351d25Use the bare function name in the full-read warning, not hard-coded base.2026.8.30.1340iko 3a555d0Underline the whole run/run1 call in the full-read warning2026.8.30.1329iko d1c8b66Name run1 in the full-read warning (it was "a direct read")2026.8.30.1210iko 2491b4aName the function in the full-read warning2026.8.30.1144iko a7f2c1aTrace the full-read warning back to the source declaration2026.8.30.1016iko 0d8dadaRender the full-read diagnostic as a Warning, not Advice2026.8.30.959iko 090acfaPrefix the source name with * in the full-read advice2026.8.30.947iko 36f216cSimplify the full-read advice to knot terms2026.8.30.755iko d9197b2Add run1: extract the single row of a one-element relation2026.8.30.631iko db71514Drop the not prefix operator; not is only a function2026.8.30.531iko e688d48Allow base.not as a first-class function value2026.8.29.2127iko 1244f8eBoolean tests return a one-element relation (Rel Bool)2026.8.29.1606iko c8c1cd9Remove head, findFirst, single from the relation API2026.8.29.1533iko ba31a8cScalar aggregates return a one-element relation (Rel a -> Rel <scalar>)2026.8.29.1354iko