Miscellany

    167     | Minimal.Let (x,e1,e2,pos) =>
    168        let
    169          val t1 = checkExp e1 vtable ftable
    170          val t2 = checkExp e2 ((x,t1)::vtable) ftable
    171        in
    172           checkExp e2 ((x,t1)::vtable) ftable
    173          (*
    174          (* td: let-bundne variabler kan ikke have typen void*)
    175          if t2 <> Minimal.Void then t2
    176            else raise Error("Can not let-bind void value",pos)
    177           *)
    178        end