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 45, Sun Mar 22 20:11:09 1998 UTC revision 69, Fri Apr 3 00:06:55 1998 UTC
# Line 58  Line 58 
58  (* the corresponding utility functions to recover the tyc *)  (* the corresponding utility functions to recover the tyc *)
59  fun getEtagTyc (_, _, lt, [tc]) = tc  fun getEtagTyc (_, _, lt, [tc]) = tc
60    | getEtagTyc (_, _, lt, []) =    | getEtagTyc (_, _, lt, []) =
61        let val (t, xs) = LT.tcd_app(LT.ltd_tyc (#2(LT.ltd_parrow lt)))        let val nt = LT.ltd_tyc (#2(LT.ltd_parrow lt))
62         in (case xs of [x] => x         in if LT.tcp_app nt then
63                (case #2 (LT.tcd_app nt)
64                  of [x] => x
65                      | _ => bug "unexpected case 1 in getEtagTyc")                      | _ => bug "unexpected case 1 in getEtagTyc")
66              else LT.tcc_void
67        end        end
68    | getEtagTyc _ = bug "unexpected case 2 in getEtagTyc"    | getEtagTyc _ = bug "unexpected case 2 in getEtagTyc"
69    

Legend:
Removed from v.45  
changed lines
  Added in v.69

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