git.iko.soy/jibb
on c4e28d2 help sign in
jibb/tests/importer
17 files
../ about.txtMove the importer's test fixtures into its test suite ford.txtResolve contextual tags and check Hoon union cases mark-gate.txtImport mark samples and strengthen partial inference mark-list.txtImport mark samples and strengthen partial inference mark-recursive.txtImport mark samples and strengthen partial inference mark.txtImport mark samples and strengthen partial inference origin-first.txtTrack recursive import origins and local molds origin-other.txtTrack recursive import origins and local molds origin-transitive.txtResolve contextual tags and check Hoon union cases shadow-static.txtInfer term-headed pairs and import nested unions shadow.txtImport named ordered maps and infer predicate branches small.txtParse type holes and reject duplicate record fields tlon-docs.txtExtend partial type inference and Hoon imports tlon-epic.txtStart type inference and Hoon imports tlon-license.txtStart type inference and Hoon imports tlon-presence.txtExtend partial type inference and Hoon imports tree.txtProve structural Hoon union overlaps