Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch-2/src/compiler/Elaborator/modules/sigmatch.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/Elaborator/modules/sigmatch.sml

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

revision 903, Mon Aug 20 19:34:06 2001 UTC revision 1344, Wed Aug 13 18:04:08 2003 UTC
# Line 287  Line 287 
287              "value type in structure doesn't match signature spec"              "value type in structure doesn't match signature spec"
288              (fn ppstrm =>              (fn ppstrm =>
289                   (PPType.resetPPType();                   (PPType.resetPPType();
290                    PP.add_newline ppstrm;                    PP.newline ppstrm;
291                    app (PP.add_string ppstrm) ["  name: ", S.name name];                    app (PP.string ppstrm) ["  name: ", S.name name];
292                    PP.add_newline ppstrm;                    PP.newline ppstrm;
293                    PP.add_string ppstrm "spec:   ";                    PP.string ppstrm "spec:   ";
294                    PPType.ppType statenv ppstrm spec;                    PPType.ppType statenv ppstrm spec;
295                    PP.add_newline ppstrm;                    PP.newline ppstrm;
296                    PP.add_string ppstrm "actual: ";                    PP.string ppstrm "actual: ";
297                    PPType.ppType statenv ppstrm actual));                    PPType.ppType statenv ppstrm actual));
298          ([],[]))          ([],[]))
299    

Legend:
Removed from v.903  
changed lines
  Added in v.1344

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