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 4348, Tue Aug 2 15:48:33 2016 UTC revision 4349, Tue Aug 2 18:14:48 2016 UTC
# Line 837  Line 837 
837                fn [Ty.TYPE tv] => [t, Ty.realTy] --> dynSeq(Ty.T_Var tv)                fn [Ty.TYPE tv] => [t, Ty.realTy] --> dynSeq(Ty.T_Var tv)
838              end              end
839      in      in
840      val fn_sphere_im = polyVar (N.fn_sphere, all([TK], implicit))      val fn_sphere_im = polyVar (N.fn_sphere, all([TK], fn [Ty.TYPE tv] =>
841      val fn_sphere1_r = polyVar (N.fn_sphere, all([TK], realTy))            [Ty.realTy] --> dynSeq(Ty.T_Var tv)))
842      val fn_sphere2_t = polyVar (N.fn_sphere, all([TK], vec2Ty))    (* queries with an explicit position *)
843      val fn_sphere3_t = polyVar (N.fn_sphere, all([TK], vec3Ty))      val fn_sphere1_r = polyVar (N.fn_sphere, all([TK], fn [Ty.TYPE tv] =>
844              [Ty.realTy, Ty.realTy] --> dynSeq(Ty.T_Var tv)))
845        val fn_sphere2_t = polyVar (N.fn_sphere, all([TK], fn [Ty.TYPE tv] =>
846              [tensor[N2], Ty.realTy] --> dynSeq(Ty.T_Var tv)))
847        val fn_sphere3_t = polyVar (N.fn_sphere, all([TK], fn [Ty.TYPE tv] =>
848              [tensor[N3], Ty.realTy] --> dynSeq(Ty.T_Var tv)))
849      end (* local *)      end (* local *)
850    
851    (* vector distance function *)    (* vector distance function *)

Legend:
Removed from v.4348  
changed lines
  Added in v.4349

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