on 72acdb3 help sign in
jibb/tests
16 folders
../ checker/Start type inference and Hoon imports clay-fixtures/Parse type holes and reject duplicate record fields golden/Infer nested tagged-union payloads from context importer/Parse type holes and reject duplicate record fields lib/Infer nested tagged-union payloads from context type-api-evidence/Analyze API supporting definitions type-api-paths/Analyze API paths and import Ford union marks type-import-default/Recognize default-wrapped imported unions type-import-diagnostic/Parse type holes and reject duplicate record fields type-import/Parse type holes and reject duplicate record fields 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