Geoff Romer
|
4c9049346d
Replace form insts with actions (#7100)
|
6 dni temu |
Geoff Romer
|
e7626f46cc
Get rid of `AddPatternInst` (#7075)
|
2 tygodni temu |
Dana Jansens
|
a0416a1250
Don't finish the non-canonical instruction created in EvalOrAddInst (#6972)
|
1 miesiąc temu |
Jon Ross-Perkins
|
e0305684b0
Add MakeVerifiedLocIdAndInst for runtime validation (#6942)
|
1 miesiąc temu |
Jon Ross-Perkins
|
877179d6d9
Refactor addition of imported locations and placeholders (#6354)
|
5 miesięcy temu |
Jon Ross-Perkins
|
6cc5d7ed2a
Add an EnumMaskBase type (#6053)
|
7 miesięcy temu |
Jon Ross-Perkins
|
a85d292f8d
Change from ToImplicit to AsDesugared (#5591)
|
11 miesięcy temu |
Richard Smith
|
4f5d11a28b
Build generic eval blocks incrementally (#5313)
|
1 rok temu |
Geoff Romer
|
fafb655d39
Separate pattern types from expression types (#5360)
|
1 rok temu |
Richard Smith
|
64baa84e4d
Stop substituting into `MetaInstId` operands. (#5328)
|
1 rok temu |
Richard Smith
|
bfef32b482
Add an `EvalOrAddInst` function. (#5258)
|
1 rok temu |
Richard Smith
|
0631e18184
Provide an `InstId` when evaluating a constant in cases where one is needed (#5202)
|
1 rok temu |
Richard Smith
|
584426dfa2
Initial work on support for templates (#5081)
|
1 rok temu |
Jon Ross-Perkins
|
311b4ff03d
Refactor AddInst-family functions to their own file (#4941)
|
1 rok temu |