New test 103 and clippy fixes

This commit is contained in:
microproofs
2024-05-21 11:56:12 -04:00
parent a3c14d881d
commit c1c2cd97b7
27 changed files with 53 additions and 24 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,9 @@
name = "aiken-lang/103"
version = "0.0.0"
license = "Apache-2.0"
description = "Aiken contracts for project 'aiken-lang/102'"
[repository]
user = "aiken-lang"
project = "103"
platform = "github"

View File

@@ -0,0 +1,13 @@
fn do_diagnostic(self: Data) -> ByteArray {
let builder = 2
from_int(builder)
}
fn from_int(i: Int) -> ByteArray {
"dddd"
}
test other() {
do_diagnostic(1) != "thing"
}