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 4042, Fri Jun 24 19:04:21 2016 UTC revision 4043, Sun Jun 26 14:00:38 2016 UTC
# Line 854  Line 854 
854      val red_variance    = reduction (N.fn_variance, Ty.realTy)      val red_variance    = reduction (N.fn_variance, Ty.realTy)
855      end (* local *)      end (* local *)
856    
   (* kernels *)  
 (* FIXME: we should really get the continuity info from the kernels themselves *)  
     val kn_bspln3 = monoVar (N.kn_bspln3, Ty.T_Kernel(Ty.DiffConst 2))  
     val kn_bspln5 = monoVar (N.kn_bspln5, Ty.T_Kernel(Ty.DiffConst 4))  
     val kn_c4hexic = monoVar (N.kn_c4hexic, Ty.T_Kernel(Ty.DiffConst 4))  
     val kn_ctmr = monoVar (N.kn_ctmr, Ty.T_Kernel(Ty.DiffConst 1))  
     val kn_tent = monoVar (N.kn_tent, Ty.T_Kernel(Ty.DiffConst 0))  
   
857    (***** internal variables *****)    (***** internal variables *****)
858    
859    (* integer to real conversion *)    (* integer to real conversion *)
# Line 889  Line 881 
881   (* range expressions *)   (* range expressions *)
882      val range = monoVar (Atom.atom "$range", [Ty.T_Int, Ty.T_Int] --> dynSeq Ty.T_Int)      val range = monoVar (Atom.atom "$range", [Ty.T_Int, Ty.T_Int] --> dynSeq Ty.T_Int)
883    
884      (* boolean and *)
885        val and_b = monoVar (Atom.atom "$and", [Ty.T_Bool, Ty.T_Bool] --> Ty.T_Bool)
886    
887      end (* local *)      end (* local *)
888    end    end

Legend:
Removed from v.4042  
changed lines
  Added in v.4043

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