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

SCM Repository

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

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

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

revision 1950, Sat Jul 7 19:03:02 2012 UTC revision 1991, Sun Aug 12 15:25:39 2012 UTC
# Line 417  Line 417 
417      val subscript = polyVar (Atom.atom "$sub", all ([TK, NK],      val subscript = polyVar (Atom.atom "$sub", all ([TK, NK],
418              fn [Ty.TYPE tv, Ty.DIM d] =>              fn [Ty.TYPE tv, Ty.DIM d] =>
419                [Ty.T_Sequence(Ty.T_Var tv, Ty.DimVar d), Ty.T_Int] --> Ty.T_Var tv))                [Ty.T_Sequence(Ty.T_Var tv, Ty.DimVar d), Ty.T_Int] --> Ty.T_Var tv))
420    
421        val dynSubscript = polyVar (Atom.atom "$dynsub", all ([TK],
422                fn [Ty.TYPE tv] => [Ty.T_DynSequence(Ty.T_Var tv), Ty.T_Int] --> Ty.T_Var tv))
423    
424      end (* local *)      end (* local *)
425    end    end

Legend:
Removed from v.1950  
changed lines
  Added in v.1991

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