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/trans/transtypes.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/FLINT/trans/transtypes.sml

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

revision 3364, Tue May 19 14:33:00 2009 UTC revision 3365, Tue May 19 14:39:01 2009 UTC
# Line 193  Line 193 
193      let fun tyconToTyc (primary, cur) =      let fun tyconToTyc (primary, cur) =
194              (case primary              (case primary
195                of GENtyc{stamp=s0, kind=FORMAL, ...} =>                of GENtyc{stamp=s0, kind=FORMAL, ...} =>
196                    let fun findindex ((s1,_)::lvl)::penv, tdepth, num) =                    let fun findindex (((s1,_)::lvl)::penv, tdepth, num) =
197                            if Stamps.eq(s1,s0) then (tdepth, num)                            if Stamps.eq(s1,s0) then (tdepth, num)
198                            else findindex (lvl::penv, tdepth, num + 1)                            else findindex (lvl::penv, tdepth, num + 1)
199                          | findindex ([]::penv, tdepth, num) =                          | findindex ([]::penv, tdepth, num) =
# Line 205  Line 205 
205                    end                    end
206                 | GENtyc{kind=ABSTRACT(frontEndTyc),...} =>                 | GENtyc{kind=ABSTRACT(frontEndTyc),...} =>
207                    bug "primaryTyconToTyc 1"                    bug "primaryTyconToTyc 1"
208                    (* tyconToTyc(frontEndTyc, cur) *)                    (* ABSTRACT handled by tycTyc's h function *)
209                 | frontEndTyc =>                 | _ =>
210                   bug "primaryTyconToTyc 2"                   bug "primaryTyconToTyc 2")
                  (* tycTyc(penv, frontEndTyc, cur) *)  
211       in tyconTotyc (primary, depth)       in tyconTotyc (primary, depth)
212      end      end
213    

Legend:
Removed from v.3364  
changed lines
  Added in v.3365

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