Use Derived_synth for synthesizing implementations, and Derived_gen for codegen

This commit is contained in:
Ayaz Hafiz 2022-07-12 13:36:14 -04:00
parent 8311fb553f
commit 9aa3cb8d33
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 1 additions and 15 deletions

View file

@ -5,12 +5,7 @@ procedure List.5 (#Attr.2, #Attr.3):
procedure Test.2 (Test.3):
let Test.7 : {} = Struct {};
<<<<<<< HEAD
Error a Lambda Set is empty. Most likely there is a type error in your program.
=======
let Test.8 : U8 = GetTagId Test.3;
Error a Lambda Set isempty. Most likely there is a type error in your program.
>>>>>>> 1d9e5043e (Update mono tests)
procedure Test.0 ():
let Test.1 : List [] = Array [];