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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/simplify/simplify.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/simplify/simplify.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 204  Line 204 
204                  in                  in
205                    if Basis.isBorderCtl f                    if Basis.isBorderCtl f
206                      then (stms, doBorderCtl (f, xs))                      then (stms, doBorderCtl (f, xs))
207                      else if Var.same(f, BasisVars.fn_sphere_im)
208                        then raise Fail "FIXME: implicit sphere query"
209                      else (case Var.kindOf f                      else (case Var.kindOf f
210                         of Var.BasisVar => let                         of Var.BasisVar => let
211                              fun cvtTyArg (Types.TYPE tv) = S.TY(cvtTy(TU.resolve tv))                              fun cvtTyArg (Types.TYPE tv) = S.TY(cvtTy(TU.resolve tv))

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