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 /sml/branches/SMLNJ/src/ml-yacc/src/utils.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/ml-yacc/src/utils.sml

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

revision 138, Mon Sep 7 21:11:35 1998 UTC revision 139, Mon Sep 7 21:11:35 1998 UTC
# Line 1  Line 1 
1  (* ML-Yacc Parser Generator (c) 1989 Andrew W. Appel, David R. Tarditi  (* ML-Yacc Parser Generator (c) 1989 Andrew W. Appel, David R. Tarditi
2   *   *
3   * $Log$   * $Log$
4   * Revision 1.1.1.4  1998/06/05 19:40:02  monnier   * Revision 1.1.1.5  1998/09/07 21:10:48  monnier
5   * 110.7   * 110.8
6     *
7     * Revision 1.2  1998/07/08 18:32:06  elsa
8     * Added support for the new percent identifier %token_sig_info.
9     *
10     * Revision 1.1.1.1  1998/04/08 18:40:17  george
11     * Version 110.5
12   *   *
13   * Revision 1.1.1.1  1997/01/14 01:38:06  george   * Revision 1.1.1.1  1997/01/14 01:38:06  george
14   *   Version 109.24   *   Version 109.24
# Line 392  Line 398 
398     end     end
399  end  end
400    
401    (* In utils.sig
402  signature TABLE =  signature TABLE =
403     sig     sig
404          type 'a table          type 'a table
# Line 405  Line 412 
412          val make_list : 'a table -> (key * 'a) list          val make_list : 'a table -> (key * 'a) list
413          val fold : ((key * 'a) * 'b -> 'b) -> 'a table -> 'b -> 'b          val fold : ((key * 'a) * 'b -> 'b) -> 'a table -> 'b -> 'b
414     end     end
415    *)
416    
417  functor Table (B : sig type key  functor Table (B : sig type key
418                        val gt : (key * key) -> bool                        val gt : (key * key) -> bool
# Line 505  Line 513 
513  (* assumes that a functor Table with signature TABLE from table.sml is  (* assumes that a functor Table with signature TABLE from table.sml is
514     in the environment *)     in the environment *)
515    
516    (* In utils.sig
517  signature HASH =  signature HASH =
518    sig    sig
519      type table      type table
# Line 516  Line 525 
525      val exists : elem * table -> bool      val exists : elem * table -> bool
526      val empty : table      val empty : table
527    end    end
528    *)
529    
530  (* hash: creates a hash table of size n which assigns each distinct member  (* hash: creates a hash table of size n which assigns each distinct member
531     a unique integer between 0 and n-1 *)     a unique integer between 0 and n-1 *)

Legend:
Removed from v.138  
changed lines
  Added in v.139

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