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/compiler/Semant/types/typesutil.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/Semant/types/typesutil.sml

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

revision 124, Mon Sep 7 16:19:55 1998 UTC revision 125, Mon Sep 7 18:14:32 1998 UTC
# Line 821  Line 821 
821    | extractDcons _ = bug "extractDcons"    | extractDcons _ = bug "extractDcons"
822    
823  fun mkStrict 0 = []  fun mkStrict 0 = []
824    | mkStrict n = true :: mkPolySign(n-1)    | mkStrict n = true :: mkStrict(n-1)
825    
826  (* used in ElabSig for datatype replication specs, where the tyc arg  (* used in ElabSig for datatype replication specs, where the tyc arg
827   * is expected to be either a GENtyc/DATATYPE or a PATHtyc. *)   * is expected to be either a GENtyc/DATATYPE or a PATHtyc. *)

Legend:
Removed from v.124  
changed lines
  Added in v.125

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