git.iko.soy/jibb
on 2826c93 help sign in
jibb/tests
31 folders
../ checker/Start type inference and Hoon imports clay-fixtures/Parse type holes and reject duplicate record fields golden/Report alias overlaps and retain deferred branch context importer/Prove structural Hoon union overlaps lib/Report alias overlaps and retain deferred branch context type-api-evidence/Analyze API supporting definitions type-api-paths/Analyze API paths and import Ford union marks type-cell-branch/Check empty molds and contextual cell branches type-deferred-context/Report alias overlaps and retain deferred branch context type-deferred-resolver/Keep deferred call fits stable across substitutions type-deferred/Resolve bounded deferred constructor constraints type-direct-gate/Infer direct higher-order gates from source type-empty/Check empty molds and contextual cell branches type-gate-free/Analyze gate-free source molds type-generic-construction/Check source-proven recursive tree construction type-generic-pattern/Resolve bounded deferred constructor constraints type-generic-recursion/Check source-proven recursive tree patterns type-import-default/Recognize default-wrapped imported unions type-import-diagnostic/Parse type holes and reject duplicate record fields type-import-overlap/Prove structural Hoon union overlaps type-import-structural/Prove structural Hoon union overlaps type-import/Prove structural Hoon union overlaps type-list-alias/Infer supported annotation holes and prelude list aliases type-mark/Cache library interfaces and import record faces type-module-scope/Import recursive Tlon unions and prepare comparison interface type-poke/Expose transparent poke from internal prelude type-tlon/Contextualize union branches and report nested tags type-todo-api/Infer nested tagged-union payloads from context type-todo-partial/Add source-backed list length and todo regression type-union-alias-overlap/Report alias overlaps and retain deferred branch context type-union-source/Prove source-backed generic union case tags