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/kernel/ltyextern.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/kernel/ltyextern.sml

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

revision 183, Sun Nov 8 16:58:19 1998 UTC revision 184, Sun Nov 8 21:18:20 1998 UTC
# Line 370  Line 370 
370       | _ => bug "unexpected type in lt_swap")       | _ => bug "unexpected type in lt_swap")
371    
372  (** functions that manipulate the FLINT function and record types *)  (** functions that manipulate the FLINT function and record types *)
373  fun ltc_fkfun (FL.FK_FCT, atys, rtys) =  fun ltc_fkfun ({cconv=FL.CC_FCT, ...}: FL.fkind, atys, rtys) =
374        ltc_fct (atys, rtys)        ltc_fct (atys, rtys)
375    | ltc_fkfun (FL.FK_FUN {fixed, ...}, atys, rtys) =    | ltc_fkfun ({cconv=FL.CC_FUN fixed, ...}, atys, rtys) =
376        ltc_arrow(fixed, atys, rtys)        ltc_arrow(fixed, atys, rtys)
377    
378  fun ltd_fkfun lty =  fun ltd_fkfun lty =

Legend:
Removed from v.183  
changed lines
  Added in v.184

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