File: trailing_commas.sail

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (27 lines) | stat: -rw-r--r-- 378 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
 
// This file is testing that trailing commas are allowed in certain places

val foo = pure {
  a: "a",
  b: "b",
} : unit -> unit

struct S = {
  f1 : int,
  f2 : int,
}

let struct {
  f1 = _,
  f2 = _,
} : S = struct { f1 = 1, f2 = 2, }

struct Sp(
  'a,
  'b,
) = {
  pair_field : ('a, 'b),
}

mapping mp : (int, int, ) <-> S = {
  (x, y, ) <-> struct { f1 = x, f2 = y, },
}