a bug to fix

parent cc9e5dfc
......@@ -3,7 +3,7 @@
*.bak
*.o
.*.swp
why.conf
why3.conf
*.cmx
*.cmo
*.cmi
......
......@@ -12,7 +12,7 @@
The following modules provide slightly more: pseudo-random generators
which are deterministic according to a state. The state is either
explicit (module State) \/ global (module Random). Functions init allow
explicit (module State) or global (module Random). Functions init allow
to reset the generators according to a given seed.
*)
......
(*
module MutualRec
use import int.Int
......@@ -12,6 +13,7 @@ module MutualRec
{ 0 = 0 }
end
*)
module PoorArrays
......@@ -32,6 +34,22 @@ module PoorArrays
end
module Alias
use import int.Int
use import module ref.Ref
val r : ref int
let deref (x: ref int) =
!x + !r
(* TODO: should be rejected *)
let test1 () =
deref r
end
module M
use import int.Int
......
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