Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /smlnj-lib/trunk/Util/format-comb-sig.sml
ViewVC logotype

Diff of /smlnj-lib/trunk/Util/format-comb-sig.sml

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

revision 2918, Thu Dec 13 19:57:04 2007 UTC revision 2919, Thu Dec 13 20:07:23 2007 UTC
# Line 129  Line 129 
129      val real' : StringCvt.realfmt -> ('a, real) element (* using(Real.fmt f) *)      val real' : StringCvt.realfmt -> ('a, real) element (* using(Real.fmt f) *)
130    
131    (* "polymorphic" elements *)    (* "polymorphic" elements *)
132      val list : ('a, 'x) element -> ('a, 'x list) element      val list'  : string -> string -> string -> (* l. delim., sep., r. delim. *)
133                     ('a, 'x) element -> ('a, 'x list) element
134        val list   : ('a, 'x) element -> ('a, 'x list) element (* "[", ", ", "]" *)
135      val option : ('a, 'x) element -> ('a, 'x option) element      val option : ('a, 'x) element -> ('a, 'x option) element
136    
137    (* Generic "gluifier". *)    (* Generic "gluifier". *)
# Line 146  Line 148 
148      val tab     :           'a glue     (* tabulator glue *)      val tab     :           'a glue     (* tabulator glue *)
149    
150    (* glue generator constructors *)    (* glue generator constructors *)
151        val listg'  : string -> string -> string ->
152                      ('t -> 'a glue) -> ('t list -> 'a glue)
153      val listg   : ('t -> 'a glue) -> ('t list -> 'a glue)      val listg   : ('t -> 'a glue) -> ('t list -> 'a glue)
154      val optiong : ('t -> 'a glue) -> ('t option -> 'a glue)      val optiong : ('t -> 'a glue) -> ('t option -> 'a glue)
155    

Legend:
Removed from v.2918  
changed lines
  Added in v.2919

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0