Skip to content

Commit

Permalink
typo
Browse files Browse the repository at this point in the history
  • Loading branch information
jurgenvinju committed Nov 22, 2023
1 parent a0c597c commit 3a08bd7
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,7 @@ test bool dataMatchesSyntaxTreesToo2() {
// here &T should be bound to adt("Tree",[]) and not to sort("A"), statically.
// but I can't write a negative test for the type-checker here I think..

syntax[A] shoultNotAssignStatically = castIt([syntax[A]] "a");
syntax[A] shouldNotAssignStatically = castIt([syntax[A]] "a");

// we are never supposed to end up here
return false;
Expand Down

0 comments on commit 3a08bd7

Please sign in to comment.