summaryrefslogtreecommitdiff
path: root/src/hir/type.hpp
AgeCommit message (Expand)AuthorFilesLines
2019-07-21HIR - Partial support for large arrays (may fail downstream with overflows)John Hodge1-1/+1
2019-06-09HIR - Sort trait impls tooJohn Hodge1-0/+18
2019-06-04HIR Markings - Flag for any Copy implJohn Hodge1-0/+3
2019-05-19All - Switch to using interned (de-duplicated) RcString-s instead of std::str...John Hodge1-2/+6
2019-04-20HIR Typecheck - Bulk commit of typecheck fixes, less magicJohn Hodge1-0/+3
2019-02-03HIR - Minimally-tested support for `extern { type }`John Hodge1-0/+2
2018-05-25HIR - No more name in lifetime paramsJohn Hodge1-3/+39
2018-05-24HIR - Borrow lifetime annotations included (not actually used or valid)John Hodge1-1/+3
2017-09-02HIR - Missed changed file required for placeholdersJohn Hodge1-0/+4
2017-08-18HIR Typecheck - Refactor coerce/unsize handlingJohn Hodge1-0/+14
2017-06-09Fix use of hard tabsJohn Hodge1-5/+5
2017-06-04All - Compile and run fixes in MSVCJohn Hodge (bugs)1-2/+4
2017-03-04Many many changes to allow compiling in visual studio (Community 2015)John Hodge (bugs)1-2/+5
2017-02-05HIR Expand Ty Aliases - Replace `Self` with impl ty in implsJohn Hodge1-0/+3
2017-01-08All - i128/u182 support, typecheck and parse fixesJohn Hodge1-0/+2
2016-12-24No more tears!ubsan1-14/+14
2016-12-01Trans - Enumeration work structured out, vtables hacked inJohn Hodge1-2/+0
2016-11-19HIR - Add Union type path bindingJohn Hodge1-0/+2
2016-11-11HIR - Tweak ErasedType for implementationJohn Hodge1-0/+1
2016-10-29HIR Types - Store array size expr as a shared_ptr to allow cloningJohn Hodge1-4/+10
2016-10-23AST+HIR - Add stubbed support for erased types (`impl Trait`)John Hodge1-0/+5
2016-09-16HIR - (minor) Comment on format of generic binding fieldJohn Hodge1-0/+1
2016-08-27HIR (De)serialise - Working deserialiseJohn Hodge1-0/+1
2016-08-01HIR - Support getting tuple struct constructors as function pointersJohn Hodge1-2/+2
2016-08-01HIR Typecheck - Altered ! handling to be an ivar type, fix fuzzy matches in e...John Hodge1-0/+1
2016-07-19HIR - Very rough impl specialisation support in outer typeckJohn Hodge1-0/+1
2016-07-17HIR - Allow sorting of types and pathsJohn Hodge1-0/+2
2016-07-12HIR Types - Support returning match state from match generic callbackJohn Hodge1-3/+3
2016-07-12HIR Typecheck - Planning out handling for more effective impl param determiningJohn Hodge1-0/+2
2016-07-11HIR Typecheck CS - Remove todo panic on unknown infer, fix missed base value ...John Hodge1-0/+3
2016-07-07HIR Typecheck CS - Working `let v: usize = !0;`John Hodge1-0/+23
2016-06-26HIR Typecheck - Fuzzy impl matching to allow selection of += impl for usizeJohn Hodge1-0/+1
2016-06-12HIR Typecheck - Rework handling of trait impl searchingJohn Hodge1-1/+1
2016-06-11HIR Typecheck - Fix pattern propagationJohn Hodge1-0/+3
2016-06-11HIR Typecheck - Fields workingJohn Hodge1-1/+4
2016-06-11HIR - Move associated type bounds to TraitPathJohn Hodge1-1/+1
2016-06-11HIR Typecheck - autoderef arrays to slices, don't check method if unknownJohn Hodge1-0/+3
2016-06-11HIR - (cleanup) Make method to handle creating new array typesJohn Hodge1-0/+7
2016-06-11HIR - Trait objects only have on data trait, fix propagation of marker flagJohn Hodge1-1/+2
2016-06-11HIR Typecheck - Trait object comparison/manipulationJohn Hodge1-0/+4
2016-06-10HIR Typecheck - Rework ops traits handling a bitJohn Hodge1-1/+5
2016-06-10HIR Typecheck - Hack up closure inferrence from Fn* traitsJohn Hodge1-1/+1
2016-06-09HIR - Add closure typeJohn Hodge1-1/+7
2016-06-09HIR Typecheck - Replace associated types with known bounds (IntoIter)John Hodge1-7/+0
2016-06-09HIR Typecheck - Plan: Use associated type bounds to expand furtherJohn Hodge1-2/+2
2016-06-08HIR Typecheck - Rough checking of bounds when searching for UFCSJohn Hodge1-2/+4
2016-06-07HIR Typecheck - Successful inferrence of literals (no i32 default yet)John Hodge1-0/+8
2016-06-07HIR - Add literal annotation to TypeRef::Data::InferJohn Hodge1-0/+8
2016-06-06HIR - BorrowType on pointer, allow pointer coerceJohn Hodge1-2/+2
2016-06-06HIR Typecheck - Expand associated types returned from methodsJohn Hodge1-0/+6
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-23 00:44:11 +0000