remove dead code
authorhuffman
Tue Mar 02 16:07:48 2010 -0800 (2010-03-02)
changeset 35522f9714c7c0837
parent 35521 47eec4da124a
child 35523 cc57f4a274a3
remove dead code
src/HOLCF/Tools/Domain/domain_library.ML
     1.1 --- a/src/HOLCF/Tools/Domain/domain_library.ML	Tue Mar 02 15:53:07 2010 -0800
     1.2 +++ b/src/HOLCF/Tools/Domain/domain_library.ML	Tue Mar 02 16:07:48 2010 -0800
     1.3 @@ -107,8 +107,6 @@
     1.4    val nonlazy_rec : arg list -> string list;
     1.5    val %# : arg -> term;
     1.6    val /\# : arg * term -> term;
     1.7 -  val when_body : cons list -> (int * int -> term) -> term;
     1.8 -  val when_funs : 'a list -> string list;
     1.9    val bound_arg : ''a list -> ''a -> term; (* ''a = arg or string *)
    1.10    val idx_name : 'a list -> string -> int -> string;
    1.11    val app_rec_arg : (int -> term) -> arg -> term;
    1.12 @@ -326,23 +324,5 @@
    1.13    | cont_eta_contract t    = t;
    1.14  
    1.15  fun idx_name dnames s n = s^(if length dnames = 1 then "" else string_of_int n);
    1.16 -fun when_funs cons = if length cons = 1 then ["f"] 
    1.17 -                     else mapn (fn n => K("f"^(string_of_int n))) 1 cons;
    1.18 -fun when_body cons funarg =
    1.19 -    let
    1.20 -      fun one_fun n (_,[]  ) = /\ "dummy" (funarg(1,n))
    1.21 -        | one_fun n (_,args) = let
    1.22 -            val l2 = length args;
    1.23 -            fun idxs m arg = (if is_lazy arg then (fn t => mk_fup (ID, t))
    1.24 -                              else I) (Bound(l2-m));
    1.25 -          in cont_eta_contract
    1.26 -               (foldr'' 
    1.27 -                  (fn (a,t) => mk_ssplit (/\# (a,t)))
    1.28 -                  (args,
    1.29 -                fn a=> /\#(a,(list_ccomb(funarg(l2,n),mapn idxs 1 args))))
    1.30 -               ) end;
    1.31 -    in (if length cons = 1 andalso length(snd (hd cons)) <= 1
    1.32 -        then mk_strictify else I)
    1.33 -         (foldr1 mk_sscase (mapn one_fun 1 cons)) end;
    1.34  
    1.35  end; (* struct *)