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/flint/flintutil.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/flint/flintutil.sml

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

revision 651, Thu Jun 1 18:34:03 2000 UTC revision 1335, Tue May 27 21:54:23 2003 UTC
# Line 91  Line 91 
91  fun getUnWrapTyc (_, _, lt, []) = LT.ltd_tyc(#2(LT.ltd_parrow lt))  fun getUnWrapTyc (_, _, lt, []) = LT.ltd_tyc(#2(LT.ltd_parrow lt))
92    | getUnWrapTyc _ = bug "unexpected case in getUnWrapTyc"    | getUnWrapTyc _ = bug "unexpected case in getUnWrapTyc"
93    
94  fun dcon_eq ((s1,c1,t1),(s2,c2,t2)) =  fun dcon_eq ((s1,c1,t1):FLINT.dcon,(s2,c2,t2)) =
95      (s1 = s2) andalso (c1 = c2) andalso LtyBasic.lt_eqv(t1, t2)      Symbol.eq (s1,s2) andalso (c1 = c2) andalso LtyBasic.lt_eqv(t1, t2)
96    
97  val cplv = LambdaVar.dupLvar  val cplv = LambdaVar.dupLvar
98  (*  (*

Legend:
Removed from v.651  
changed lines
  Added in v.1335

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