author | wenzelm |
Fri, 07 Aug 2015 17:58:12 +0200 | |
changeset 60865 | 4194901fd513 |
parent 50911 | ee7fe4230642 |
permissions | -rw-r--r-- |
(* Title: Pure/ML/exn_properties_dummy.ML Author: Makarius Exception properties -- dummy version. *) signature EXN_PROPERTIES = sig val position_of: 'location -> Position.T val get: exn -> Properties.T val update: Properties.entry list -> exn -> exn end; structure Exn_Properties: EXN_PROPERTIES = struct fun position_of _ = Position.none; fun get _ = []; fun update _ exn = exn; end;