summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-11-22HIR Typecheck - Expand assocated types in outer typecheckJohn Hodge2-49/+26
2016-11-22MIR Gen - (minor) Better error message for invalid result type from literalJohn Hodge1-0/+1
2016-11-22HIR Expand Closures - Better expand of closure types in capturesJohn Hodge1-1/+2
2016-11-22HIR Typecheck Expressions - Avoid inferring literal ivars to non-literalsJohn Hodge1-0/+35
2016-11-22HIR Serialise - Slightly better debuggingJohn Hodge1-3/+3
2016-11-22macro_rules! - Handle cases where :ident and :expr appear in the same positionJohn Hodge1-2/+89
2016-11-22HIR Typecheck - Function to *const u8John Hodge2-2/+2
2016-11-22HIR Typecheck Validate - Auto trait searching in staticJohn Hodge2-16/+237
2016-11-21HIR Typecheck Static - Auto trait searchJohn Hodge1-8/+15
2016-11-21HIR Typecheck Expr - Look up methods and trait impls for associated types in ↵John Hodge1-16/+109
trait definiton where clause
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-05-07 05:19:30 +0000