Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/basis/basis-vars.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/basis/basis-vars.sml

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

revision 3514, Fri Dec 18 22:05:19 2015 UTC revision 3518, Sat Dec 19 04:45:08 2015 UTC
# Line 505  Line 505 
505                  [t1, t2] --> t3                  [t1, t2] --> t3
506              end))              end))
507    
   
508    (* the colon (or double-dot) product operator is treated as a special case in the    (* the colon (or double-dot) product operator is treated as a special case in the
509     * typechecker.  It is not included in the basis environment, but we define its type     * typechecker.  It is not included in the basis environment, but we define its type
510     * scheme here.  There is an implicit constraint on its type to have the following scheme:     * scheme here.  There is an implicit constraint on its type to have the following scheme:

Legend:
Removed from v.3514  
changed lines
  Added in v.3518

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