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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/cxx-util/print-as-cxx.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/cxx-util/print-as-cxx.sml

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

revision 4028, Wed Jun 22 21:15:36 2016 UTC revision 4029, Wed Jun 22 21:45:02 2016 UTC
# Line 70  Line 70 
70                    | getBaseTy (CL.T_Template(name, tys)) = concat[                    | getBaseTy (CL.T_Template(name, tys)) = concat[
71                          name, "< ", String.concatWith ", " (List.map getBaseTy tys), " >"                          name, "< ", String.concatWith ", " (List.map getBaseTy tys), " >"
72                        ]                        ]
73                    | getBaseTy (CL.T_Qual(attr, ty)) =                    | getBaseTy (CL.T_Qual(attr, ty)) = concat[attr, " ", getBaseTy ty]
74                        concat[attr, " ", getBaseTy ty]                    | getBaseTy (CL.T_Member(CL.T_Named ty, ty')) = concat[ty, "::", ty']
75                      | getBaseTy (CL.T_Member(ty as CL.T_Template _, ty')) =
76                          concat[getBaseTy ty, "::", ty']
77                      | getBaseTy (CL.T_Member _) = raise Fail "ill-formed type member in C++"
78                  fun ppVar (isFirst, SOME x) = (                  fun ppVar (isFirst, SOME x) = (
79                        if isFirst then sp() else ();                        if isFirst then sp() else ();
80                        ppQName x)                        ppQName x)
81                    | ppVar _ = ()                    | ppVar _ = ()
82                  fun pp (isFirst, CL.T_Const(CL.T_Num _), optVar) = ppVar (isFirst, optVar)                  fun pp (isFirst, CL.T_Const(CL.T_Num _), optVar) = ppVar (isFirst, optVar)
83                    | pp (isFirst, CL.T_Const(CL.T_Named _), optVar) = ppVar (isFirst, optVar)                    | pp (isFirst, CL.T_Const(CL.T_Named _), optVar) = ppVar (isFirst, optVar)
84                      | pp (isFirst, CL.T_Const(CL.T_Template _), optVar) = ppVar (isFirst, optVar)
85                      | pp (isFirst, CL.T_Const(CL.T_Member _), optVar) = ppVar (isFirst, optVar)
86                    | pp (isFirst, CL.T_Const ty, optVar) = raise Fail "FIXME"                    | pp (isFirst, CL.T_Const ty, optVar) = raise Fail "FIXME"
87                    | pp (isFirst, CL.T_Ptr ty, optVar) = (                    | pp (isFirst, CL.T_Ptr ty, optVar) = (
88                        if isFirst then sp() else ();                        if isFirst then sp() else ();

Legend:
Removed from v.4028  
changed lines
  Added in v.4029

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