Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-02-19 02:27:04 -0800 (Wed, 19 Feb 2003)
Revision: 4086
Log message:

      Added new rule for the term symbol that calls Phobos on a string.
      This was approach II, as we discussed earlier.
      Here is an example:
      
      sequent [m] { 'H >- $"let t = 1 in let u = 2 in t+u"$ }
      
      The default language is "m_ir.pho", assumed to be in the current
      directory. You can also control the default language through
      the LANG_FILE environment variable.
      
      As before, there remains an ext: quotation that can be used in
      Ocaml expressions and patterns, such as
      
      let t = <:ext<let t = 1 in let u = 2 in t+u>> in ...
      

Changes	Path
+12 -1	metaprl/filter/filter/filter_parse.ml