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

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

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

revision 2383, Thu Mar 22 21:07:50 2007 UTC revision 2384, Tue Apr 3 00:44:28 2007 UTC
# Line 171  Line 171 
171              PU.pps s "t1:"; PP.newline s; PPLty.ppLty 10 s t1; PP.newline s;              PU.pps s "t1:"; PP.newline s; PPLty.ppLty 10 s t1; PP.newline s;
172              PU.pps s "t2:"; PP.newline s; PPLty.ppLty 10 s t2; PP.newline s;              PU.pps s "t2:"; PP.newline s; PPLty.ppLty 10 s t2; PP.newline s;
173              PU.pps s"***************************************************";              PU.pps s"***************************************************";
174              PP.newline s))))              PP.newline s)); raise Fail "ltMatch"))
175    handle teUnbound2 =>    handle LT.TeUnbound =>
176    (clickerror();    (clickerror();
177     with_pp(fn s =>     with_pp(fn s =>
178       (PU.pps s ("ERROR(checkLty): exception teUnbound2 in ltMatch"^msg); PP.newline s;       (PU.pps s ("ERROR(checkLty): exception teUnbound2 in ltMatch"^msg); PP.newline s;
# Line 195  Line 195 
195               say "***************************************************** \n";               say "***************************************************** \n";
196               bug "fatal typing error in ltFnApp"))               bug "fatal typing error in ltFnApp"))
197    
198     in ltMatch le s (a1, t2); b1     in ltMatch le (s^":ltFnApp") (a1, t2); b1
199    end    end
200    
201  fun ltFnAppR le s (t1, t2) =  (*** used for DECON lexps ***)  fun ltFnAppR le s (t1, t2) =  (*** used for DECON lexps ***)
# Line 242  Line 242 
242                              | STRINGcon _ => ltString                              | STRINGcon _ => ltString
243                              | INTINFcon _ => bug "INTINFcon"                              | INTINFcon _ => bug "INTINFcon"
244                              |  _ => LT.ltc_int)                              |  _ => LT.ltc_int)
245         in ltMatch le s (nt, root); venv         in ((ltMatch le s (nt, root)) handle Fail _ => say "ConChk ltEquiv\n"); venv
246        end        end
247    
248  (** check : tkindEnv * ltyEnv * DI.depth -> lexp -> lty *)  (** check : tkindEnv * ltyEnv * DI.depth -> lexp -> lty *)
# Line 358  Line 358 
358                         val bodyTy = loop e                         val bodyTy = loop e
359                         val _ = ltyChkenv " PACK body " bodyTy                         val _ = ltyChkenv " PACK body " bodyTy
360                         val _ = debugmsg "PACK"                         val _ = debugmsg "PACK"
361                     in ltMatch le "PACK-M" (argTy, loop e);                     in ((ltMatch le "PACK-M" (argTy, loop e)) handle Fail _ => say "PACK ltEquiv\n") ;
362                        ltTyApp le "PACK-R" (lt, nts, kenv)                        ltTyApp le "PACK-R" (lt, nts, kenv)
363                     end                     end
364    

Legend:
Removed from v.2383  
changed lines
  Added in v.2384

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