git.iko.soy/jibb
on ab6fdc1 help sign in
jibb/tools
1 folder, 49 files
../ testdata/Preserve full-module overlap source evidence clay-fixturesImport named ordered maps and infer predicate branches doc-blocksAdd tools/doc-blocks, which checks the doc's examples goldenExpose transparent poke from internal prelude golden_case.pyInfer supported library import graphs hoonSettle the doc's grammar questions in the parser importer-testParse type holes and reject duplicate record fields noun.pyLay the foundation for milestone 1: parser design, tooling, desks, corpus shipPropagate call context and batch ship deletions type-api-evidence-testRetain source-backed API path evidence type-api-paths-testAnalyze API paths and import Ford union marks type-arithmetic-guards-testInfer source-backed arithmetic without loobeans type-ask-guards-testAdd source-backed transparent requests type-cell-branch-testCheck empty molds and contextual cell branches type-closed-gate-guards-testInfer the todo API request interfaces type-constructor-fit-guards-testCompare constructor heads by noun value type-deferred-context-testReport alias overlaps and retain deferred branch context type-deferred-resolver-testKeep deferred call fits stable across substitutions type-deferred-testResolve bounded deferred constructor constraints type-direct-gate-testInfer direct higher-order gates from source type-empty-testCheck empty molds and contextual cell branches type-full-overlap-testPreserve full-module overlap source evidence type-gate-free-guards-testAnalyze gate-free source molds type-gate-free-source-testAnalyze gate-free source molds type-generic-alias-testPreserve public generic union alias names type-generic-construction-testCheck source-proven recursive tree construction type-generic-pattern-testResolve bounded deferred constructor constraints type-generic-recursion-testCheck source-proven recursive tree patterns type-hole-guards-testInfer supported annotation holes and prelude list aliases type-import-default-testRecognize default-wrapped imported unions type-import-diagnostic-testReport nested imported mold errors type-import-overlap-testDiagnose source-proven Hoon union overlaps type-import-structural-testProve structural Hoon union overlaps type-import-testExtend partial type inference and Hoon imports type-list-alias-testInfer supported annotation holes and prelude list aliases type-mark-testImport mark samples and strengthen partial inference type-module-scope-testExpose transparent poke from internal prelude type-nested-union-guards-testInfer nested tagged-union payloads from context type-poke-testExpose transparent poke from internal prelude type-positional-face-guards-testAdd source-backed like result mapping type-proj-guards-testCheck explicit record projections type-qath-guards-testAdd source-defined qath inference and explicit proj decision type-request-guards-testInfer a source-backed API request gate type-sub-guards-testCompare constructor heads by noun value type-tlon-testContextualize union branches and report nested tags type-todo-api-testInfer the todo API request interfaces type-todo-partial-testAdd source-backed list length and todo regression type-union-alias-overlap-testReport alias overlaps and retain deferred branch context type-union-source-testProve source-backed generic union case tags urbit_eval.pySettle the doc's grammar questions in the parser