roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-20 15:27:45 +03:00
Code Issues Packages Projects Releases Wiki Activity

Check in first erasure test

Browse Source
This commit is contained in:
Ayaz Hafiz 2023-06-23 09:58:21 -05:00
parent 16ebcba053
commit 6eae480e36
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
crates/compiler/uitest/tests/lambda_set/erased/multi_branch_capturing.txt Normal file
View File

@ -0,0 +1,12 @@
# +set function_kind=erased
interface Test exposes [main] imports []
f = \s ->
if Bool.true
then \{} -> ""
# ^^^^^^^^^ {}* -[[#Attr.#Erased(33)]]-> Str
else \{} -> s
# ^^^^^^^^ {}* -[[#Attr.#Erased(33)]]-> Str
main = f ""
#^^^^{-1} {}w_a -[[#Attr.#Erased(33)]]-> Str