src/Pure/RAW/ml_parse_tree.ML
author wenzelm
Tue Jan 05 13:48:51 2016 +0100 (2016-01-05)
changeset 62058 1cfd5d604937
parent 61925 ab52f183f020
permissions -rw-r--r--
updated headers;
     1 (*  Title:      Pure/RAW/ml_parse_tree.ML
     2     Author:     Makarius
     3 
     4 Additional ML parse tree components for Poly/ML.
     5 *)
     6 
     7 signature ML_PARSE_TREE =
     8 sig
     9   val completions: PolyML.ptProperties -> string list option
    10   val breakpoint: PolyML.ptProperties -> bool Unsynchronized.ref option
    11 end;
    12 
    13 structure ML_Parse_Tree: ML_PARSE_TREE =
    14 struct
    15 
    16 fun completions _ = NONE;
    17 fun breakpoint _ = NONE;
    18 
    19 end;