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

Diff of /sml/trunk/compiler/FLINT/trans/transtypes.sml

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

revision 4308, Wed Sep 14 20:26:34 2016 UTC revision 4309, Thu Sep 15 01:31:46 2016 UTC
# Line 87  Line 87 
87        end        end
88  end (* end of recTyc and freeTyc hack *)  end (* end of recTyc and freeTyc hack *)
89    
90  fun tpsKnd (TP_VAR x) = #kind (TVI.fromExn x)  fun tpsKnd (TP_VAR x) = TransTKind.trans(#kind x)
91    | tpsKnd _ = bug "unexpected tycpath parameters in tpsKnd"    | tpsKnd _ = bug "unexpected tycpath parameters in tpsKnd"
92    
93  fun genTT() =  fun genTT() =
# Line 95  Line 95 
95    
96  fun tpsTyc d tp =  fun tpsTyc d tp =
97    let fun h (TP_VAR x, cur) =    let fun h (TP_VAR x, cur) =
98            let val { tdepth, num, ... } = TVI.fromExn x            let val { tdepth, num, ... } = x
99            in            in
100                LT.tcc_var(DI.calc(cur, tdepth), num)                LT.tcc_var(DI.calc(cur, tdepth), num)
101            end            end

Legend:
Removed from v.4308  
changed lines
  Added in v.4309

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