Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: ml_recursive.ML Sprache: SML

Original von: Isabelle^©

(*  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;

¤ Dauer der Verarbeitung: 0.17 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

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.