Commit 1676db4a authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

TODO for programs

parent d4d3a9f8
o refs -> mutable types
o loadpath: how to retrieve program files? (cannot use "env")
o what about pervasives old, at, label, exn, unit = (), lt_nat
test-pgm-jcf
module A
module R
{ use import programs.Prelude }
parameter x : int
parameter ref : v:'a -> {} ref 'a { !result = v }
exception E
exception F of int
parameter f : x:int -> {} int { result > x }
parameter set : r:ref 'a -> v:'a -> {} unit writes r { !r = v }
end
......@@ -17,9 +13,14 @@ module P
{ use import programs.Prelude }
use module A
use module R
let g x = { x >= 0 } A.f x { result > 0 }
let test () =
{ true }
let r = R.ref 0 in
R.set r 1;
!r
{ result > 0 }
end
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment