hvm-core 0.2.26

HVM-Core is a massively parallel Interaction Combinator evaluator.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

// numbers are printed as `i64`, so over/underflows in `u60` arithmetic might
// change the sign when printed

@main = x
  // underflow
  & x ~ [n x] & #0 ~  <u8.- #1 n>   // 255
  & x ~ [n x] & #0 ~ <u16.- #1 n>   // 65535
  & x ~ [n x] & #0 ~ <u32.- #1 n>   // 4294967295
  & x ~ [n x] & #0 ~ <u60.- #1 n>   // -1

  // max
  & x ~ [n x] & #1 ~  <u8.+ #254 n>                 // 255
  & x ~ [n x] & #1 ~ <u16.+ #65534 n>               // 65535
  & x ~ [n x] & #1 ~ <u32.+ #4294967294 n>          // 4294967295
  & x ~ [n x] & #1 ~ <u60.+ #1152921504606846974 n> // -1

  // overflow
  & x ~ [n x] & #1 ~  <u8.+ #255 n>                 // 0
  & x ~ [n x] & #1 ~ <u16.+ #65535 n>               // 0
  & x ~ [n x] & #1 ~ <u32.+ #4294967295 n>          // 0
  & x ~ [n x] & #1 ~ <u60.+ #1152921504606846975 n> // 0

  // sign extension
  & x ~ [n x] & #0 ~  <i8.- #1 n> // -1
  & x ~ [n x] & #0 ~ <i16.- #1 n> // -1
  & x ~ [n x] & #0 ~ <i32.- #1 n> // -1

  // signed overflow
  & x ~ [n x] & #2   ~  <i8.* #127 n>        // -2
  & x ~ [n x] & #2   ~ <i16.* #32767 n>      // -2
  & x ~ [n x] & #2   ~ <i32.* #2147483647 n> // -2

  // all ops
  & x ~ [n x] & #10 ~ <u32.+ #2 n>  // 12
  & x ~ [n x] & #10 ~ <u32.- #2 n>  // 8
  & x ~ [n x] & #10 ~ <u32.* #2 n>  // 20
  & x ~ [n x] & #10 ~ <u32./ #2 n>  // 5
  & x ~ [n x] & #10 ~ <u32.% #2 n>  // 0
  & x ~ [n x] & #10 ~ <u32.== #2 n> // 0
  & x ~ [n x] & #10 ~ <u32.!= #2 n> // 1
  & x ~ [n x] & #10 ~ <u32.< #2 n>  // 0
  & x ~ [n x] & #10 ~ <u32.> #2 n>  // 1
  & x ~ [n x] & #10 ~ <u32.& #2 n>  // 2
  & x ~ [n x] & #10 ~ <u32.| #2 n>  // 10
  & x ~ [n x] & #10 ~ <u32.^ #2 n>  // 8
  & x ~ [n x] & #10 ~ <u32.<< #2 n> // 40
  & x ~ [n x] & #10 ~ <u32.>> #2 n> // 2
  & x ~ [n x] & #9  ~ <u32./ #0 n>  // 0

  & x ~ *