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/cpsopt/contract.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/cpsopt/contract.sml

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

revision 17, Wed Mar 11 21:00:18 1998 UTC revision 69, Fri Apr 3 00:06:55 1998 UTC
# Line 243  Line 243 
243                   val _ = addty(v,t)                   val _ = addty(v,t)
244               in  v               in  v
245               end               end
246    
247    fun ltc_fun (x, y) =
248      if (LT.ltp_tyc x) andalso (LT.ltp_tyc y) then LT.ltc_parrow(x, y)
249      else LT.ltc_pfct(x, y)
250    
251  fun mkfnLty(_,_,nil) = bug "mkfnLty in nflatten"  fun mkfnLty(_,_,nil) = bug "mkfnLty in nflatten"
252    | mkfnLty(k,CNTt::_,x::r) =    | mkfnLty(k,CNTt::_,x::r) =
253        LT.ltw_iscont(x, fn [t2] => (k,LT.ltc_fun(argLty r,t2))        LT.ltw_iscont(x, fn [t2] => (k,ltc_fun(argLty r,t2))
254                          | _ => bug "unexpected mkfnLty",                          | _ => bug "unexpected mkfnLty",
255               fn [t2] => (k,LT.ltc_fun(argLty r, LT.ltc_tyc t2))               fn [t2] => (k,ltc_fun(argLty r, LT.ltc_tyc t2))
256                | _ => bug "unexpected mkfnLty",                | _ => bug "unexpected mkfnLty",
257               fn x => (k, LT.ltc_fun(argLty r,x)))               fn x => (k, ltc_fun(argLty r,x)))
258    | mkfnLty(k,_,r) = (k, LT.ltc_cont([argLty r]))    | mkfnLty(k,_,r) = (k, LT.ltc_cont([argLty r]))
259    
260  (* Only used in newname *)  (* Only used in newname *)

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

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