File: slice4.expected

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (64 lines) | stat: -rw-r--r-- 329 bytes parent folder | download 
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
 
default Order dec







































$sail_internal 






enum e2 = {GHI, JKL}

struct s1 = {fA : int, fB : e2}

struct s3 = {fE : s1, fF : int}

val undefined_s3 : unit -> s3

val f : int -> int

val k : int -> int

function k x = {
    var s : s3 = undefined_s3();
    s = { s with fF = x };
    f(s.fF)
}