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

SCM Repository

[diderot] Diff of /trunk/src/ast/type-util.sml
ViewVC logotype

Diff of /trunk/src/ast/type-util.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 53  Line 53 
53                    "field#", diffToString diff, "(", dimToString dim,                    "field#", diffToString diff, "(", dimToString dim,
54                    ")", shapeToString shape                    ")", shapeToString shape
55                  ]                  ]
56              | Ty.T_Fun(tys1, tys2) => let              | Ty.T_Fun(tys1, ty2) => let
57                  fun tysToString [] = "()"                  fun tysToString [] = "()"
58                    | tysToString [ty] = toString ty                    | tysToString [ty] = toString ty
59                    | tysToString tys = String.concat[                    | tysToString tys = String.concat[
60                          "(", listToString toString " * " tys, ")"                          "(", listToString toString " * " tys, ")"
61                        ]                        ]
62                  in                  in
63                    String.concat[tysToString tys1, " -> ", tysToString tys2]                    String.concat[tysToString tys1, " -> ", toString ty2]
64                  end                  end
65            (* end case *))            (* end case *))
66    

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