/[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 2336 by jyh, Tue Jul 21 22:47:13 1998 UTC revision 2443 by jyh, Mon Aug 24 13:43:48 1998 UTC
# Line 4  Line 4 
4  open Refiner.Refiner.Term  open Refiner.Refiner.Term
5  open Refiner.Refiner.TermType  open Refiner.Refiner.TermType
6  open Opname  open Opname
7  open Num  open Nl_num
8    
9  let _ =  let _ =
10     if !debug_load then     if !debug_load then
# Line 16  Line 16 
16    
17  let make_bool_parameter b =  let make_bool_parameter b =
18    make_param (ParamList    make_param (ParamList
19                  [(make_param (Token "bool")); (make_param (Number (Num.Int (if b then 1 else 0))))])                  [(make_param (Token "bool")); (make_param (Number (Nl_num.Int (if b then 1 else 0))))])
20    
21  let make_time_parameter time =  let make_time_parameter time =
22    make_param (ParamList    make_param (ParamList
# Line 37  Line 37 
37    match (dest_param p) with    match (dest_param p) with
38      ParamList [h; v] -> (match (dest_param h) with      ParamList [h; v] -> (match (dest_param h) with
39        Token s -> if s = "bool" then (match (dest_param v) with        Token s -> if s = "bool" then (match (dest_param v) with
40          Number (Num.Int i) -> (i = 1) or (i = 0)          Number (Nl_num.Int i) -> (i = 1) or (i = 0)
41        | _ -> false) else false        | _ -> false) else false
42      | _ -> false)      | _ -> false)
43    | _ -> false    | _ -> false
# Line 57  Line 57 
57    match (dest_param p) with    match (dest_param p) with
58      ParamList [h; v] -> (match (dest_param h) with      ParamList [h; v] -> (match (dest_param h) with
59        Token s -> if s = "bool" then (match (dest_param v) with        Token s -> if s = "bool" then (match (dest_param v) with
60          Number (Num.Int i) -> i = 1          Number (Nl_num.Int i) -> i = 1
61        | _ -> raise (Invalid_argument "destruct_bool_parameter"))        | _ -> raise (Invalid_argument "destruct_bool_parameter"))
62        else raise (Invalid_argument "destruct_bool_parameter")        else raise (Invalid_argument "destruct_bool_parameter")
63      | _ -> raise (Invalid_argument "destruct_bool_parameter"))      | _ -> raise (Invalid_argument "destruct_bool_parameter"))

Legend:
Removed from v.2336  
changed lines
  Added in v.2443

  ViewVC Help
Powered by ViewVC 1.1.26