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/primop-branch-3/compiler/FLINT/flint/flintutil.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/FLINT/flint/flintutil.sml

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

revision 2388, Sat Apr 7 14:10:04 2007 UTC revision 2389, Mon Apr 9 17:03:21 2007 UTC
# Line 77  Line 77 
77  fun getEtagTyc (_, _, lt, [tc]) = tc  fun getEtagTyc (_, _, lt, [tc]) = tc
78    | getEtagTyc (_, _, lt, []) =    | getEtagTyc (_, _, lt, []) =
79        let val nt = LT.ltd_tyc (#2(LT.ltd_parrow lt))        let val nt = LT.ltd_tyc (#2(LT.ltd_parrow lt))
80                       handle LT.DeconExn => bug "getEtagTyc"
81         in if LT.tcp_app nt then         in if LT.tcp_app nt then
82              (case #2 (LT.tcd_app nt)              (case #2 (LT.tcd_app nt)
83                of [x] => x                of [x] => x
# Line 85  Line 86 
86        end        end
87    | getEtagTyc _ = bug "unexpected case 2 in getEtagTyc"    | getEtagTyc _ = bug "unexpected case 2 in getEtagTyc"
88    
89  fun getWrapTyc (_, _, lt, []) = LT.ltd_tyc(#1(LT.ltd_parrow lt))  fun getWrapTyc (_, _, lt, []) = (LT.ltd_tyc(#1(LT.ltd_parrow lt))
90                                    handle LT.DeconExn => bug "getWrapTyc")
91    | getWrapTyc _ = bug "unexpected case in getWrapTyc"    | getWrapTyc _ = bug "unexpected case in getWrapTyc"
92    
93  fun getUnWrapTyc (_, _, lt, []) = LT.ltd_tyc(#2(LT.ltd_parrow lt))  fun getUnWrapTyc (_, _, lt, []) = (LT.ltd_tyc(#2(LT.ltd_parrow lt))
94                                      handle LT.DeconExn => bug "getUnWrapTyc")
95    | getUnWrapTyc _ = bug "unexpected case in getUnWrapTyc"    | getUnWrapTyc _ = bug "unexpected case in getUnWrapTyc"
96    
97  fun dcon_eq ((s1,c1,t1):FLINT.dcon,(s2,c2,t2)) =  fun dcon_eq ((s1,c1,t1):FLINT.dcon,(s2,c2,t2)) =

Legend:
Removed from v.2388  
changed lines
  Added in v.2389

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