anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-05 22:46:08 +03:00
Code Issues Projects Releases Wiki Activity

[tests] add two negative tests to check new errors

Browse Source
This commit is contained in:
Jan Mas Rovira 2022-02-14 09:06:11 +01:00
parent 1bda862266
commit cbc9a409ca
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tests/negative/InfixError.mjuvix Normal file
View File

@ -0,0 +1,7 @@
module InfixError;
infix 5 + ;
axiom + : Type → Type → Type;
axiom T : Type + Type + ;
end;

7
tests/negative/MultipleDeclarations.mjuvix Normal file
View File

@ -0,0 +1,7 @@
module MultipleDeclarations;
axiom a : Type;
axiom a : Type;
end;