src/Tools/nbe.ML
changeset 54889 4121d64fde90
parent 52519 598addf65209
child 55043 acefda71629b
     1.1 --- a/src/Tools/nbe.ML	Wed Jan 01 01:05:30 2014 +0100
     1.2 +++ b/src/Tools/nbe.ML	Wed Jan 01 01:05:46 2014 +0100
     1.3 @@ -415,7 +415,9 @@
     1.4    IConst { name = c, typargs = [], dicts = dss,
     1.5      dom = [], range = ITyVar "", annotate = false };
     1.6  
     1.7 -fun eqns_of_stmt (_, Code_Thingol.Fun (_, ((_, []), _))) =
     1.8 +fun eqns_of_stmt (_, Code_Thingol.NoStmt _) =
     1.9 +      []
    1.10 +  | eqns_of_stmt (_, Code_Thingol.Fun (_, ((_, []), _))) =
    1.11        []
    1.12    | eqns_of_stmt (const, Code_Thingol.Fun (_, (((vs, _), eqns), _))) =
    1.13        [(const, (vs, map fst eqns))]
    1.14 @@ -519,7 +521,8 @@
    1.15        | is_dict (DFree _) = true
    1.16        | is_dict _ = false;
    1.17      fun const_of_idx idx = (case (Graph.get_node program o the o Inttab.lookup idx_tab) idx
    1.18 -     of Code_Thingol.Fun (c, _) => c
    1.19 +     of Code_Thingol.NoStmt c => c
    1.20 +      | Code_Thingol.Fun (c, _) => c
    1.21        | Code_Thingol.Datatypecons (c, _) => c
    1.22        | Code_Thingol.Classparam (c, _) => c);
    1.23      fun of_apps bounds (t, ts) =