File: test_array_local.mlt

package info (click to toggle)
janest-base 0.17.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 3,632 kB
  • sloc: ml: 48,653; ansic: 281; javascript: 126; makefile: 14
file content (24 lines) | stat: -rw-r--r-- 412 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
open! Base

(* first test that we only allow global elements *)
let local_id (local_ x) = x;;

let k = local_id 42 in
Array.create_local ~len:10 k

[%%expect
  {|
Line _, characters _-_:
Error: This value escapes its region
|}]
;;

(* then check that the array is indeed local *)
let arr = Array.create_local ~len:10 42 in
ref arr

[%%expect
  {|
Line _, characters _-_:
Error: This value escapes its region
|}]