dropped dead code
authorhaftmann
Sun Sep 27 09:52:25 2009 +0200 (2009-09-27)
changeset 32713b8381161adb1
parent 32712 ec5976f4d3d8
child 32714 32b97ef44ccd
dropped dead code
src/Pure/Isar/class.ML
     1.1 --- a/src/Pure/Isar/class.ML	Sun Sep 27 09:52:23 2009 +0200
     1.2 +++ b/src/Pure/Isar/class.ML	Sun Sep 27 09:52:25 2009 +0200
     1.3 @@ -211,12 +211,8 @@
     1.4            #>> Element.Fixes
     1.5        | fork_syn x = pair x;
     1.6      val (elems, global_syntax) = fold_map fork_syn syntax_elems [];
     1.7 -    val constrain = Element.Constrains ((map o apsnd o map_atyps)
     1.8 -      (K (TFree (Name.aT, base_sort))) raw_supparams);
     1.9 -      (*FIXME perhaps better: control type variable by explicit
    1.10 -      parameter instantiation of import expression*)
    1.11  
    1.12 -  in (((sups, supparam_names), (sup_sort, base_sort, supexpr)), ((*constrain :: *)elems, global_syntax)) end;
    1.13 +  in (((sups, supparam_names), (sup_sort, base_sort, supexpr)), (elems, global_syntax)) end;
    1.14  
    1.15  val cert_class_spec = prep_class_spec (K I) cert_class_elems;
    1.16  val read_class_spec = prep_class_spec Sign.intern_class read_class_elems;