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

SCM Repository

[diderot] Diff of /trunk/src/basis/basis-vars.sml
ViewVC logotype

Diff of /trunk/src/basis/basis-vars.sml

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

revision 80, Tue May 25 03:05:33 2010 UTC revision 81, Wed May 26 17:28:54 2010 UTC
# Line 13  Line 13 
13        structure Ty = Types        structure Ty = Types
14        structure MV = MetaVar        structure MV = MetaVar
15    
16        fun --> (tys1, ty) = Ty.T_Fun(tys1, [ty])        fun --> (tys1, ty) = Ty.T_Fun(tys1, ty)
17        infix -->        infix -->
18    
19        val N2 = Ty.DimConst 2        val N2 = Ty.DimConst 2
# Line 21  Line 21 
21    
22      (* short names for kinds *)      (* short names for kinds *)
23        val TK : unit -> Ty.meta_var = Ty.TYPE o MV.newTyVar        val TK : unit -> Ty.meta_var = Ty.TYPE o MV.newTyVar
24        val DK : unit -> Ty.meta_var = Ty.DIFF o MV.newDiffVar        fun DK () = Ty.DIFF(MV.newDiffVar 0)
25        val SK : unit -> Ty.meta_var = Ty.SHAPE o MV.newShapeVar        val SK : unit -> Ty.meta_var = Ty.SHAPE o MV.newShapeVar
26        val NK : unit -> Ty.meta_var = Ty.DIM o MV.newDimVar        val NK : unit -> Ty.meta_var = Ty.DIM o MV.newDimVar
27    

Legend:
Removed from v.80  
changed lines
  Added in v.81

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