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/trunk/src/compiler/FLINT/kernel/ltykernel.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/kernel/ltykernel.sml

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

revision 94, Tue May 12 21:56:22 1998 UTC revision 95, Wed May 13 00:49:12 1998 UTC
# Line 590  Line 590 
590  (** the following function contains the procedure on how to  (** the following function contains the procedure on how to
591   *  flatten the arguments and results of an arbitrary FLINT function   *  flatten the arguments and results of an arbitrary FLINT function
592   *)   *)
593  val maxFlat = 5 (* most number of args to flatten *)  val maxFlat = 10 (* most number of args to flatten *)
594    
595  fun isKnown tc =  fun isKnown tc =
596    (case tc_outX(tc_whnm tc)    (case tc_outX(tc_whnm tc)
# Line 1273  Line 1273 
1273  end (* toplevel local *)  end (* toplevel local *)
1274  end (* abstraction LtyKernel *)  end (* abstraction LtyKernel *)
1275    
1276    
1277    (*
1278     * $Log: ltykernel.sml,v $
1279     * Revision 1.1.1.1  1998/04/08 18:39:38  george
1280     * Version 110.5
1281     *
1282     *)

Legend:
Removed from v.94  
changed lines
  Added in v.95

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