summaryrefslogtreecommitdiff
path: root/src/mir
AgeCommit message (Collapse)AuthorFilesLines
2016-11-19MIR Check - Monomorphise types from enumsJohn Hodge1-0/+2
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 Hodge2-9/+42
2016-11-16HIR Typecheck Static - Fuzzy matched returned (fixes bad From impl selection)John Hodge1-1/+1
2016-11-07MIR Gen Match - Fix DTN cloneJohn Hodge1-0/+2
2016-11-07MIR Gen Match - Refactor range insertionJohn Hodge1-40/+52
2016-11-06MIR Gen Match - Handle cases where different-typed nodes are mergedJohn Hodge1-14/+28
2016-11-06HIR Typecheck Static - Deeper search for Copy boundsJohn Hodge1-0/+1
2016-11-05MIR Gen - Fix invalidated LValue in box move hackJohn Hodge2-2/+2
2016-11-05MIR Gen Match - Refactor simple match to operate straight off the rulesetJohn Hodge1-369/+268
2016-11-05MIR Gen Match - struct tuples in SimpleJohn Hodge1-1/+17
2016-11-05MIR Gen - Empty match statementsJohn Hodge2-6/+24
2016-11-05MIR Gen - Move Box out of non-variable slots into a temp for inner moveJohn Hodge1-1/+5
2016-11-05MIR Gen Match - Rough handling for matching on !John Hodge1-11/+27
2016-11-05MIR Gen Match - StructTuple patternJohn Hodge1-4/+13
2016-11-05MIR Gen - Drop InnerMoved early for cleaner logicJohn Hodge4-10/+41
2016-11-04MIR Gen - (minor) Split a large TU_MATCH to improve compiler debugJohn Hodge1-3/+11
2016-11-04MIR Gen Match - Fix inifnite recursion in enum handlingJohn Hodge1-1/+6
2016-10-31AST - Delete some dead code, remove some warnings on GCC6John Hodge1-2/+7
2016-10-30MIR Gen - Handle single-variant enumsJohn Hodge1-10/+21
2016-10-30MIR Gen - Allow field accesses on rvaluesJohn Hodge1-3/+1
2016-10-30HIR Typecheck - Rough support for box patternsJohn Hodge1-2/+2
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge2-3/+3
2016-10-24MIR Pointer - Fix missing move constructorsJohn Hodge3-3/+25
2016-10-24MIR Ptr - Implement destructorJohn Hodge1-0/+9
2016-10-23AST+HIR - Add stubbed support for erased types (`impl Trait`)John Hodge1-0/+22
2016-10-23MIR Validate - (minor) commentingJohn Hodge1-1/+1
2016-10-23MIR Gen Match - Fix a missing field access, and a bad type in slice matchesJohn Hodge1-2/+4
2016-10-23MIR Gen Match - Fix bad type in simple match str/[u8]John Hodge1-1/+2
2016-10-23MIR Gen Match - Fix test value literal type in &strJohn Hodge1-1/+1
2016-10-23MIR Validate - Fix some literal typesJohn Hodge1-2/+7
2016-10-23MIR Validate - Check result type from RValue::ConstantJohn Hodge1-0/+73
2016-10-23MIR Gen - Use the `m_yeild_final` flag in _BlockJohn Hodge1-1/+6
2016-10-23MIR Validate - Extended validation with type checkingJohn Hodge1-8/+400
2016-10-22MIR Gen - Don't emit no-op unsizing castsJohn Hodge1-1/+6
2016-10-22MIR Gen Match - DTN signed integr rangesJohn Hodge1-2/+14
2016-10-22MIR Gen Match - Match literal against enumJohn Hodge1-17/+42
2016-10-21MIR Gen Match - Simplify handling of constantsJohn Hodge1-0/+226
2016-10-21HIR - Associated constant typecheck and MIR supportJohn Hodge1-8/+15
2016-10-20Merge pull request #8 from est31/masterJohn Hodge (Mutabah)1-0/+1
Fix build on gcc 6.2
2016-10-20Fix build on gcc 6.2est311-0/+1
2016-10-20MIR Gen - Associated constantsJohn Hodge1-1/+1
2016-10-13MIR Gen Match - Keep deref for all borrowsJohn Hodge1-6/+8
2016-10-12Make deault ABI a #defineJohn Hodge1-1/+1