/[mojave]/metaprl/library/nuprl5.ml
ViewVC logotype

Diff of /metaprl/library/nuprl5.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2099 by eli, Fri Mar 20 22:16:22 1998 UTC revision 2105 by lolorigo, Tue Apr 7 18:08:03 1998 UTC
# Line 1  Line 1 
1  open Term  open Term
2  open Opname  open Opname
3  open BigInt  open Int32
4    
5    
6  let nuprl5_opname = mk_opname "!nuprl5_implementation!" nil_opname  let nuprl5_opname = mk_opname "!nuprl5_implementation!" nil_opname
# Line 11  Line 11 
11    make_param (ParmList    make_param (ParmList
12                  [(make_param (Token "bool")); (make_param (Number (Num.Int (if b then 1 else 0))))])                  [(make_param (Token "bool")); (make_param (Number (Num.Int (if b then 1 else 0))))])
13  let make_time_parameter time =  let make_time_parameter time =
14    let (a, b) = dest_bigint time in    let (a, b) = dest_int32 time in
15    make_param (ParmList    make_param (ParmList
16                  [(make_param (Token "time")); (make_param (Number (Num.Int a))); (make_param (Number (Num.Int b)))])                  [(make_param (Token "time")); (make_param (Number (Num.Int a))); (make_param (Number (Num.Int b)))])
17    
# Line 40  Line 40 
40      ParmList [h; a; b] -> (match (dest_param h) with      ParmList [h; a; b] -> (match (dest_param h) with
41        Token s -> if s = "time" then (match (dest_param a) with        Token s -> if s = "time" then (match (dest_param a) with
42          Number (Num.Int i) -> (match (dest_param b) with          Number (Num.Int i) -> (match (dest_param b) with
43            Number (Num.Int k) -> make_bigint (i, k)            Number (Num.Int k) -> make_int32 (i, k)
44          | _ -> raise (Invalid_argument "destruct_time_parameter"))          | _ -> raise (Invalid_argument "destruct_time_parameter"))
45        | _ -> raise (Invalid_argument "destruct_time_parameter"))        | _ -> raise (Invalid_argument "destruct_time_parameter"))
46        else raise (Invalid_argument "destruct_time_parameter")        else raise (Invalid_argument "destruct_time_parameter")

Legend:
Removed from v.2099  
changed lines
  Added in v.2105

  ViewVC Help
Powered by ViewVC 1.1.26