/[mojave]/metaprl/support/display/summary.ml
ViewVC logotype

Diff of /metaprl/support/display/summary.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 9654 by nogin, Thu Aug 24 19:04:44 2006 UTC revision 9655 by nogin, Tue Oct 31 18:16:04 2006 UTC
# Line 133  Line 133 
133  declare declare_term{'shape : ShapeClass; 'term : Dform} : Dform  declare declare_term{'shape : ShapeClass; 'term : Dform} : Dform
134  declare define_term{'shape : ShapeClass; 'term : Dform; 'def : Dform} : Dform  declare define_term{'shape : ShapeClass; 'term : Dform; 'def : Dform} : Dform
135  declare "ty_term"{'term : Dform; 'opname : Dform; 'params : Dform; 'bterms : Dform; 'ty : Dform} : Dform  declare "ty_term"{'term : Dform; 'opname : Dform; 'params : Dform; 'bterms : Dform; 'ty : Dform} : Dform
136  declare "term_def"[name:s]{'def : Dform; 'res : Dform} : Dform  declare "term_def"[name:s]{'def : Dform; 'res : Dform; 'flag : Dform} : Dform
137  declare parent_kind[name:s] : Dform  declare parent_kind[name:s] : Dform
138  declare parent_kind[name:s]{'parent : Dform} : Dform  declare parent_kind[name:s]{'parent : Dform} : Dform
139    declare "private" : Dform
140    declare "public" : Dform
141    declare "opaque" : Dform
142    
143  doc docoff  doc docoff
144  declare "parent"[name:s] : Dform  declare "parent"[name:s] : Dform
# Line 173  Line 176 
176  declare "resource_defs"[name:s]{'flag : Dform; 'res : Dform} : Dform  declare "resource_defs"[name:s]{'flag : Dform; 'res : Dform} : Dform
177  declare "resource"{'inp : Dform; 'outp : Dform; 'expr : Dform} : Dform  declare "resource"{'inp : Dform; 'outp : Dform; 'expr : Dform} : Dform
178  declare "improve"[name:s]{'flag : Dform; 'expr : Dform} : Dform  declare "improve"[name:s]{'flag : Dform; 'expr : Dform} : Dform
 declare "private" : Dform  
 declare "public" : Dform  
 declare "opaque" : Dform  
179  doc docoff  doc docoff
180  declare flag{'flag: Dform} : Dform  declare flag{'flag: Dform} : Dform
181  declare "resource_defs"[start:n, finish:n, name:s]{'flag: Dform; 'res : Dform} : Dform  declare "resource_defs"[start:n, finish:n, name:s]{'flag: Dform; 'res : Dform} : Dform
# Line 531  Line 531 
531  dform shape_class_const_iform_df : shape_class[3] =  dform shape_class_const_iform_df : shape_class[3] =
532     keyword["const iform "]     keyword["const iform "]
533    
534  dform define_term_df : "define_term"{'shape; 'info; term_def[name:s]{'contractum; 'res}} =  dform define_term_df : "define_term"{'shape; 'info; term_def[name:s]{'contractum; 'res; 'flag}} =
535     pushm[4] szone     pushm[4] szone
536        info["define"] " " 'shape szone rewrite_name[name:s] resources{'res} keyword[":"] ezone hspace        info["define"] " " flag{'flag} 'shape szone rewrite_name[name:s] resources{'res} keyword[":"] ezone hspace
537        szone pushm[4]        szone pushm[4]
538           'info `" " ensuremath{longleftrightarrow}           'info `" " ensuremath{longleftrightarrow}
539           hspace ensuremath{slot{'contractum}}           hspace ensuremath{slot{'contractum}}

Legend:
Removed from v.9654  
changed lines
  Added in v.9655

  ViewVC Help
Powered by ViewVC 1.1.26