From 2acffa283e52a449a72539377851ddc8c43d63e8 Mon Sep 17 00:00:00 2001 From: Guillaume Horel Date: Sun, 19 Jun 2011 10:06:17 -0400 Subject: Count test --- game.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/game.ml b/game.ml index f1cbccf..0313172 100644 --- a/game.ml +++ b/game.ml @@ -17,20 +17,20 @@ type slot = { mutable field: lambda } ;; + let player0 = Array.init 256 (fun _ -> {vitality = 10000; field = id}) let player1 = Array.init 256 (fun _ -> {vitality = 10000; field = id}) - +let card_count = ref(0) let proponent = ref player0 let opponent = ref player1 -let zero = Const 0 +let zero = count:=!count+1;Const 0 let succ = Lambda(fun a -> match a with - |Const n -> if n < 65535 then Const (n+1) else Const n - |_ -> raise( Rule_error "not an integer")) + |Const n -> if n < 65535 then count:=!count+1; Const (n+1) else count:=!count+1; Const n + |_ -> raise( Rule_error "not an integer")) let dbl = Lambda(fun a -> match a with - |Const n -> if n<32768 then Const(2*n) else Const n + |Const n -> if n<32768 then count:=!count+1; Const(2*n) else count:=!count+1; Const n |_ -> raise( Rule_error "not an integer")) - let get = Lambda(fun a -> match a with |(Const i) -> if !proponent.(i).vitality > 0 then !proponent.(i).field else raise( Rule_error "not a valid slot number") |_ -> raise( Rule_error "not an integer" )) -- cgit v1.2.3-70-g09d2