mirror of
https://github.com/grin-compiler/grin.git
synced 2024-09-11 07:25:28 +03:00
add simple test for default pattern
This commit is contained in:
parent
49ce8cd534
commit
e93000f707
@ -5,7 +5,7 @@ grinMain =
|
||||
sum n29 n30 n31 =
|
||||
b2 <- _prim_int_gt n30 n31
|
||||
case b2 of
|
||||
#True -> pure n29
|
||||
#False -> n18 <- _prim_int_add n30 1
|
||||
n28 <- _prim_int_add n29 n30
|
||||
sum n28 n18 n31
|
||||
#default -> pure n29
|
||||
|
Loading…
Reference in New Issue
Block a user