Add built-in types

Not sure why it seems like the 'is-not? local' is not working.

Will investigate later
This commit is contained in:
Bruno BELANYI 2022-06-03 22:04:28 +02:00
parent 2d89ec8b20
commit 3e1068a336
3 changed files with 22 additions and 6 deletions

View file

@ -3,11 +3,23 @@ let
/* ^ function.builtin */
primitive exit(ret: int) /* Shadowing the prelude-included built-in */
/* ^ type.builtin */
var b := exit(0)
/* ^ function */
type int = string /* Shadowing the built-in type */
/* ^ type.builtin */
var c : int := "This is an \"int\""
/* ^ type.builtin (not sure why it isn't 'type')*/
in
let
var c : int := "This is an int"
/* ^ type.builtin (not sure why it isn't 'type')*/
in
end;
exit(1);
/* <- function */