summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge #642HEADmasterbors[bot]2021-08-223-0/+77
|\
| * Reject duplicate field names in structs and unions.dup_fieldsMark Wielaard2021-08-223-0/+77
* | Merge #641bors[bot]2021-08-222-0/+41
|\ \ | |/ |/|
| * Ignore impl trait blocks in overlap passPhilip Herron2021-08-222-0/+41
|/
* Merge #640bors[bot]2021-08-2213-607/+871
|\
| * Qualified paths can be fully resolved sometimesPhilip Herron2021-08-223-23/+39
| * Path resolution is done in two phasesPhilip Herron2021-08-221-6/+15
| * This allows for query based compilationPhilip Herron2021-08-224-103/+184
| * Refactor the function query compilation function outPhilip Herron2021-08-222-130/+153
| * Add impl-trait path probe helperPhilip Herron2021-08-221-2/+30
| * Add Trait Resolver simple type-path lookupPhilip Herron2021-08-222-0/+62
| * add trait_reference is_equal helper methodPhilip Herron2021-08-221-0/+7
| * Extract header Path type-check code into cc filePhilip Herron2021-08-223-429/+467
|/
* Merge #638bors[bot]2021-08-2113-117/+33
|\
| * hir: Merge both module classes in oneCohenArthur2021-08-2113-117/+33
|/
* Merge #626bors[bot]2021-08-2049-315/+2148
|\
| * Add qualified path supportPhilip Herron2021-08-2014-48/+274
| * optional trait item with associated typesPhilip Herron2021-08-1920-90/+756
| * Initial Typechecking for projectionsPhilip Herron2021-08-192-110/+202
| * ProjectionType this is a special TyTy initial boiler platePhilip Herron2021-08-1912-0/+162
| * Add QualifiedTypePath HIR loweringPhilip Herron2021-08-195-40/+115
| * Add QualifiedPathInExpression name resolutionPhilip Herron2021-08-194-21/+143
| * Add support for optional trait functions in method callsPhilip Herron2021-08-199-5/+419
| * Add missing mappings for trait-itemsPhilip Herron2021-08-191-0/+26
| * Trait item functions contain a block expression for its bodyPhilip Herron2021-08-193-18/+33
| * refactor code into cc filePhilip Herron2021-08-193-37/+72
|/
*-. Merge #509 #636bors[bot]2021-08-1923-29/+280
|\ \
| | * Suppress uninitialized candidate_type warning in process_traits_for_candidatesprocess_traits_for_candidates-warningMark Wielaard2021-08-151-0/+1
| * | tests: add tests for ModuleMarc Poulhiès2021-08-184-0/+77
| * | typecheck + backend: add module supportMarc Poulhiès2021-08-185-19/+51
| * | hir: lower ModuleMarc Poulhiès2021-08-184-9/+52
| * | resolve: add support for ModuleMarc Poulhiès2021-08-186-1/+71
| * | ast: add AST::Module::get_name methodMarc Poulhiès2021-08-181-0/+2
| * | Add module map in HIR mapsMarc Poulhiès2021-08-182-0/+26
| * | Use default type_for_size langhookMark Wielaard2021-08-182-17/+91
| * | Allow bool and char to be cast as any integer typeMark Wielaard2021-08-183-0/+66
* | | Merge #637bors[bot]2021-08-192-0/+102
|\ \ \
| * | | Add support for const bool and const floatprimconstsMark Wielaard2021-08-152-0/+102
| | |/ | |/|
* | | Merge #632bors[bot]2021-08-172-17/+91
|\ \ \
| * | | Use default type_for_size langhookdefault-type-for-size-langhookMark Wielaard2021-08-152-17/+91
| |/ /
* | | Merge #633bors[bot]2021-08-173-0/+66
|\ \ \ | |_|/ |/| |
| * | Allow bool and char to be cast as any integer typeas-bool-charMark Wielaard2021-08-163-0/+66
| |/
* | Merge #631bors[bot]2021-08-172-4/+20
|\ \ | |/ |/|
| * Use builtin bool instead of creating new bool types for ComparisonExprbools_eqMark Wielaard2021-08-162-4/+20
|/
* Merge #630bors[bot]2021-08-142-0/+26
|\
| * parse if expression with unary minus or not expressionif-unary-exprMark Wielaard2021-08-142-0/+26
|/
* Merge #628bors[bot]2021-08-121-0/+5
|\
| * typecheck: add assert on resolve_root_path return valueMarc Poulhiès2021-08-121-0/+5
|/
* Merge #613bors[bot]2021-08-126-6/+99
|\
| * module: Add basic filename discoveryCohenArthur2021-08-125-0/+86