summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-11-21Quirk - You can cast &[T;n] to *const TJohn Hodge1-1/+11
2016-11-21HIR Typecheck Expr - Coerce integers to literalsJohn Hodge1-6/+19
2016-11-21HIR Typecheck Expr - Eliminate ivar possibilities that don't fit known boundsJohn Hodge1-5/+52
2016-11-20MIR Gen Match - Box pattern supportJohn Hodge1-1/+32
2016-11-20HIR Expand Reborrow - Reborrow in tuple and array literalJohn Hodge1-0/+12
2016-11-20HIR Expand Closures - Reborrow &mut variablesJohn Hodge1-2/+10
2016-11-20HIR Serialise - Save/Load erased type listJohn Hodge2-0/+2
2016-11-20HIR Expand Closures - Handle box patterns (simply)John Hodge1-1/+1
2016-11-20HIR Expr - Pass span to visit_patternJohn Hodge4-27/+31
2016-11-20Parse - Allow TOK_EOF at the end of statement lines (for macros)John Hodge1-1/+3
2016-11-20HIR Serialise - Fix serialisation of ErasedTypeJohn Hodge2-3/+9
2016-11-20MIR+HIR Validation - Expand associated types in return typeJohn Hodge2-27/+16
2016-11-20HIR Typecheck Expr - Better detection for magic paramsJohn Hodge2-29/+3
2016-11-20HIR Typecheck Expr - Print (some of) the rules when there's leftoversJohn Hodge1-1/+31
2016-11-20HIR Typecheck Expr - Hack around quirk where a cast can be a type hintJohn Hodge1-0/+2
2016-11-20MIR Gen - Treat a loop as a split scopeJohn Hodge1-4/+5
2016-11-20HIR From AST - Shortcut arrays with integer literal sizesJohn Hodge1-4/+14
2016-11-20HIR - Allow arrays with unknown sizes to be clonedJohn Hodge1-2/+4
2016-11-20MIR - Union support hacked upJohn Hodge9-36/+114
2016-11-20MIR Gen - Roughed union supportJohn Hodge2-3/+23
2016-11-19HIR - Union handlingJohn Hodge12-16/+176
2016-11-19HIR - Add Union type path bindingJohn Hodge9-3/+81
2016-11-19Resolve Absolute - Add missing union handlingJohn Hodge1-0/+4
2016-11-19Parse - Fix error in parsing unionsJohn Hodge1-2/+2
2016-11-19Rust source update, fix a few parse issuesJohn Hodge2-1/+4
2016-11-19HIR Serialis - Support ErasedTypeJohn Hodge1-1/+6
2016-11-19MIR Gen Match - Fix bad type for string in simpleJohn Hodge1-2/+2
2016-11-19MIR Validate - Replace ErasedType instances in checked return typeJohn Hodge1-1/+17
2016-11-19MIR Check - Monomorphise types from enumsJohn Hodge1-0/+2
2016-11-19Derive Decodable - Add _ arm to enum decodingJohn Hodge1-0/+18
2016-11-19MIR Gen Match - HACK: Allow duplicate terminals (ranges)John Hodge1-3/+2
2016-11-19MIR Gen Match - Rough Slice and SplitSlice supportJohn Hodge2-23/+110
2016-11-19MIR Gen Match - Handle StructValueJohn Hodge1-0/+3
2016-11-19MIR Gen - Expand associated types after monomorphJohn Hodge2-5/+13
2016-11-19MIR Gen - Bugcheck on Unbound pathsJohn Hodge1-1/+2
2016-11-19MIR Gen Match - Don't unify a node unless the paths matchJohn Hodge1-10/+11
2016-11-19MIR Gen Match - Sanity check in node mergeJohn Hodge1-32/+107
2016-11-19MIR Gen Match - Some hackaroundsJohn Hodge3-9/+44
2016-11-18HIR Expand ErasedType - Replace non-local erased types in return typesJohn Hodge3-48/+155
2016-11-18HIR Expand ErasedTypes - Visit result typesJohn Hodge1-0/+7
2016-11-18HIR Typecheck Validate - Expand ErasedType in callee returnsJohn Hodge1-2/+22
2016-11-18HIR Expand - Erased types replacmentJohn Hodge3-0/+147
2016-11-18HIR Expand Closures - Fix types in args/return typesJohn Hodge1-0/+4
2016-11-18HIR Typecheck - Expand associated types in function pointersJohn Hodge3-1/+7
2016-11-18HIR Typecheck Static - Convert a fuzzy into a concrete in EATJohn Hodge1-2/+19
2016-11-18HIR Typecheck Validate - Fix some small bugs, start on ErasedType supportJohn Hodge3-32/+60
2016-11-18HIR - Clean up ExprPtr a little and add erased type typesJohn Hodge2-37/+64
2016-11-18HIR Typecheck Common - Fix visit_ty_with__pathJohn Hodge1-4/+3
2016-11-18HIR Expand Closures - Replace closure types in root node resultJohn Hodge1-0/+1
2016-11-17HIR Typecheck Static - impls from ErasedTypeJohn Hodge1-0/+30
generated by cgit v1.2.3 (git 2.39.1) at 2025-05-08 16:35:43 +0000