kernel/main.dats


1
2
3
4
5
6
7
8
9
10
11
12
13

#include "share/atspre_staload.hats"

typedef test = @{test2 = uint8}

extern castfn uint8_of {n: nat} (i: int n): uint8 n

implement main0 () = 
let 
  val t = @{test2 = uint8_of(4)} : test
in 
  main0 ()
end