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/SMLNJ/src/compiler/FLINT/plambda/plambdatype.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/compiler/FLINT/plambda/plambdatype.sml

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

revision 23, Thu Mar 12 00:49:56 1998 UTC revision 24, Thu Mar 12 00:49:58 1998 UTC
# Line 39  Line 39 
39    (if List.all ltp_tyc (x@y) then ltc_arrow(r, x, y)    (if List.all ltp_tyc (x@y) then ltc_arrow(r, x, y)
40     else ltc_fct(x, y))     else ltc_fct(x, y))
41    
42    fun lt_pinst x =
43      (case lt_inst x of [y] => y | _ => bug "unexpected lt_pinst")
44    
45  fun ltd_pfun t =  fun ltd_pfun t =
46      if ltp_pfct t then ltd_pfct t      if ltp_pfct t then ltd_pfct t
47      else ltd_parrow t      else ltd_parrow t

Legend:
Removed from v.23  
changed lines
  Added in v.24

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