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/FLINT/plambda/chkplexp.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/plambda/chkplexp.sml

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

revision 2052, Sun Aug 27 18:50:10 2006 UTC revision 2053, Mon Aug 28 05:12:11 2006 UTC
# Line 96  Line 96 
96       (PPLty.ppLty (!pd) stm lt;       (PPLty.ppLty (!pd) stm lt;
97        PP.newline stm))        PP.newline stm))
98    
99  fun lePrint le = PPLexp.printLexp (simplify(le, 3))  fun lePrint le =
100        with_pp(fn ppstrm => PPLexp.ppLexp 20 ppstrm (simplify(le, 3)))
101    
102  (*** a hack for type checking ***)  (*** a hack for type checking ***)
103  fun laterPhase i = (i > 20)  fun laterPhase i = (i > 20)
# Line 164  Line 165 
165     else (clickerror();     else (clickerror();
166           say (s ^ "  **** Lty conflicting in lexp =====> \n    ");           say (s ^ "  **** Lty conflicting in lexp =====> \n    ");
167           ltPrint t1; say "\n and   \n    "; ltPrint t2;           ltPrint t1; say "\n and   \n    "; ltPrint t2;
168           say "\n \n";  PPLexp.printLexp le;           say "\n \n";  with_pp(fn s => PPLexp.ppLexp 20 s le);
169           say "***************************************************** \n"))           say "***************************************************** \n"))
170    handle zz =>    handle zz =>
171    (clickerror();    (clickerror();
172     say (s ^ "  **** Lty conflicting in lexp =====> \n    ");     say (s ^ "  **** Lty conflicting in lexp =====> \n    ");
173     say "uncaught exception found ";     say "uncaught exception found ";
174     say "\n \n";  PPLexp.printLexp le; say "\n";     say "\n \n";  with_pp(fn s => PPLexp.ppLexp 20 s le); say "\n";
175     ltPrint t1; say "\n and   \n    "; ltPrint t2; say "\n";     ltPrint t1; say "\n and   \n    "; ltPrint t2; say "\n";
176     say "***************************************************** \n")     say "***************************************************** \n")
177    
# Line 246  Line 247 
247                                 \ PLambda type check: ");                                 \ PLambda type check: ");
248                            say (msg);                            say (msg);
249                            say ("***\n Term: ");                            say ("***\n Term: ");
250                            PPLexp.printLexp lexp;                            with_pp(fn s => PPLexp.ppLexp 20 s lexp);
251                            say ("\n Kind check error: ");                            say ("\n Kind check error: ");
252                            say kndchkmsg;                            say kndchkmsg;
253                            say ("\n");                            say ("\n");

Legend:
Removed from v.2052  
changed lines
  Added in v.2053

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