summaryrefslogtreecommitdiff
path: root/src/hir_typeck/common.hpp
AgeCommit message (Expand)AuthorFilesLines
2019-05-03HIR Typecheck - Tweaks to validation code to allow pre-expand checksJohn Hodge1-0/+3
2019-01-19Typecheck Expressions - Tweak expand_associated_types to get associated type ...John Hodge1-0/+17
2018-12-16Typecheck Expressions - Extended possibility checking, fallback default (HACK)John Hodge1-0/+1
2018-10-06Const Evaluate - Very rough deferJohn Hodge1-0/+1
2017-02-25Add visual studio project files, little tweaks to codebase to allow compiling...John Hodge (bugs)1-1/+1
2017-02-25MIR Gen - Use MIR::Param (and associated changes)John Hodge1-0/+30
2016-12-24No more tears!ubsan1-2/+2
2016-12-11HIR Const Eval - Split into two passes to have correct types in literalsJohn Hodge1-0/+18
2016-11-27Trans - Initial rough up (untested) of enumerationJohn Hodge1-0/+1
2016-11-16HIR Typecheck Expr - Refactor monomorphise_type_needed so the inner code can ...John Hodge1-0/+6
2016-11-14HIR Typecheck Expr - ErasedType return checkingJohn Hodge1-0/+3
2016-10-07HIR Typecheck Expr - Use bounds from traits for opaque associated typesJohn Hodge1-0/+32
2016-08-22HIR Typcheck - Move common code to its own fileJohn Hodge1-0/+1
2016-08-22HIR Typecheck - Split monomorphise_* into a separate headerJohn Hodge1-0/+30