git.iko.soy/jibb
on d9d51e6 help sign in
jibb/tests
23 folders
../ checker/Start type inference and Hoon imports clay-fixtures/Parse type holes and reject duplicate record fields golden/Add source-backed list flattening importer/Prove structural Hoon union overlaps lib/Check source-proven recursive tree construction type-api-evidence/Analyze API supporting definitions type-api-paths/Analyze API paths and import Ford union marks type-direct-gate/Infer direct higher-order gates from source type-gate-free/Analyze gate-free source molds type-generic-construction/Check source-proven recursive tree construction type-generic-recursion/Check source-proven recursive tree construction 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