Classes are now kinda working #358
ice1000gradle-check.yaml
on: pull_request
check-aya-version
/
extract-version
2s
gradle-check
46s
Annotations
2 errors and 1 warning
|
TyckTest.classTyck():
base/src/test/java/org/aya/tyck/TyckTest.java#L151
java.lang.AssertionError: Failed with `class org.aya.resolve.error.NameProblem$UnqualifiedNameNotFoundError`: In file <baka>:5:32 ->
3 | | unit : carrier
4 | | op : carrier -> carrier -> carrier
5 | | idl (x : carrier) : op unit x = x
| ^^
Error: The name `=` is not defined in the current scope
at (116-116) [5,32-5,32]
|
|
gradle-check
Gradle build failed: see console output for details
|
|
gradle-check
This job uses deprecated functionality from the 'gradle/gradle-build-action' action. Consult the Job Summary for more details.
|