test-pgm-jcf.mlw 260 Bytes
Newer Older
1

2
module P
3

4
  { use import programs.Prelude }
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
5

6
  use module import pervasives.Ref 
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
7

Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
8 9
  let test () =
    { true }
10 11
    let r = ref 0 in
    set r 1;
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
12 13
    !r
    { result > 0 }
14

15
end
16

17 18
(*
Local Variables: 
19
compile-command: "unset LANG; make -C .. testl-ide"
20 21
End: 
*)