git.iko.soy/jibb
on master help sign in
history ofa2a6ef5..master
compare
d69cc52Infer longer cell patterns and unit helpersiko a140383Report missing union tags and infer unit helpersiko 264a436Infer contextual unit payloadsiko 0bc5113Infer record casts and unit constructioniko 54852d4Infer tuple contexts and record changesiko 9dd35c8Check finite boolean union patternsiko 9f1517eInfer whole-case union patterns and prelude turniko ddba633Infer top-level mutually recursive gatesiko 98c19cdInfer known string interpolationsiko 054e651Report nested imported mold errorsiko 45afb13Scope local capitals and report direct import errorsiko 10cbf9cInfer local recursion and classify importer errorsiko 7081198Clarify local type variable scopeiko 1470d18Infer recursive prelude list helpersiko 918acbdPreserve named samples in recursive gatesiko c7082e0Infer multi-argument callsiko d782b45Record type decisions and enforce capital equalityiko 9ab52e8Infer closed recursive branch resultsiko 7e69436Infer simple self-recursive gatesiko 671fe72Infer contextual list cellsiko