anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-11 08:25:46 +03:00
Code Issues Projects Releases Wiki Activity

[test] improve test for literals

Browse Source
This commit is contained in:
Jan Mas Rovira 2022-03-16 12:42:06 +01:00
parent 3b685092d9
commit 09303131a8
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tests/positive/Literals.mjuvix
View File

@ -1,12 +1,20 @@
module Literals; module Literals;
axiom Int : Type; axiom Int : Type;
axiom String : Type; axiom String : Type;
axiom + : Int → Int → Int;
a : Int; a : Int;
a := 12313; a := 12313;
b : Int; b : Int;
b := -008; b := -008;
- : Int;
- := 010;
-+-- : Int;
-+-- := - + -+--;
c : String; c : String;
c := "hellooooo"; c := "hellooooo";
end; end;