Quelle ml_recursive.ML Sprache: SML

(*  Title:      Pure/ML/ml_recursive.ML
    Author:     Makarius

ML name space for recursive compiler invocation.
*)

signature ML_RECURSIVE =
sig
  type env =
    {debug: bool,
     name_space: PolyML.NameSpace.nameSpace,
     add_breakpoints: (int * (bool ref * Thread_Position.T)) list -> unit};
  val get: unit -> env option
  val recursive: env -> (unit -> 'a) -> 'a
end;

structure ML_Recursive: ML_RECURSIVE =
struct

type env =
  {debug: bool,
   name_space: PolyML.NameSpace.nameSpace,
   add_breakpoints: (int * (bool ref * Thread_Position.T)) list -> unit};

val var = Thread_Data.var () : env Thread_Data.var;

fun get () = Thread_Data.get var;
fun recursive space e = Thread_Data.setmp var (SOME space) e ();

end;

quality100%

¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.