feat: support nested void matching

This commit is contained in:
rvcas
2024-02-13 21:29:24 -05:00
parent ac0c73a56a
commit 0ccfe60072
4 changed files with 30 additions and 4 deletions

View File

@@ -0,0 +1,7 @@
# This file was generated by Aiken
# You typically do not need to edit this file
requirements = []
packages = []
[etags]

View File

@@ -0,0 +1,4 @@
name = "thing/thing"
version = "0.0.0"
license = "Apache-2.0"
description = "Aiken contracts for project 'thing/thing'"

View File

@@ -0,0 +1,10 @@
pub fn wow(a: Void) -> Int {
when Some(a) is {
Some(Void) -> 42
None -> 0
}
}
test wow_1() {
wow(Void) == 42
}