1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
let x = 1 :: 2 :: 3 :: 4 :: []
(* comments may move during normalization *)
let x = (* a *) 1 (* b *) :: (* c *) 2 :: 3 :: 4 (* d *) :: (* e *) [] (* f *)
(* comments preserved when the normalization cannot be done (attributes) *)
let x = (* a *) 1 (* b *) :: (* c *) 2 :: 3 :: 4 (* d *) :: (* e *) ([][@attr]) (* f *)
(* comments preserved when no normalization required *)
let x = (* a *) [ (* b *) 1 (* c *) ; (* d *) 2 ; 3 ; 4 (* e *) ] (* f *)
let x :: [] = e
let x :: y = e
let x :: y :: [] = e
let x :: y :: ([][@attr]) = e
let x :: (y[@attr]) :: [] = e
let (*a*)x(*b*) :: (*c*)y(*d*) = e
let (*a*)x(*b*) :: (*c*)y(*d*) :: (*e*)[](*f*) = e
let (*a*)x(*b*) :: (*c*)y(*d*) :: (*e*)([][@attr])(*f*) = e
let (*a*)x(*b*) :: (*c*)(y[@attr])(*d*) :: (*e*)[](*f*) = e
|
