Skip to content

Commit

Permalink
test: missing
Browse files Browse the repository at this point in the history
  • Loading branch information
HoshinoTented committed Jul 11, 2024
1 parent 3442d05 commit 397a6f6
Showing 1 changed file with 24 additions and 0 deletions.
24 changes: 24 additions & 0 deletions cli-impl/src/test/resources/negative/ClassError.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
NotClassCall:
In file $FILE:1:31 ->

1 │ def what (A : Type) : A => new A
│ ╰╯

Error: Unable to new a non-class type: `A`

1 error(s), 0 warning(s).
Let's learn from that.

NotFullyApplied:
In file $FILE:5:28 ->

3 │ | walue : Nat
4 │
5 │ def what : Kontainer => new Kontainer
│ ╰───────╯

Error: Unable to new an incomplete class type: `Kontainer`

1 error(s), 0 warning(s).
Let's learn from that.

0 comments on commit 397a6f6

Please sign in to comment.