[M3devel] configure -enable-checking

Jay K jay.krell at cornell.edu
Tue Nov 23 08:26:30 CET 2010


The ridiculous cross product tests I put in p240 actually do cover stuff
not covered anywhere else in the tree, seemingly.


../AMD64_DARWIN/Divide.m3: In function 'Divide__Divide_var_C_C':
../AMD64_DARWIN/Divide.m3:634:0: error: type mismatch in binary expression
int_64
word_64
word_64
D.5567 = D.5565 /[ex] D.5566;
../AMD64_DARWIN/Divide.m3:634:0: error: type mismatch in binary expression
int_64
word_64
word_64
D.5573 = D.5571 /[ex] D.5572;
../AMD64_DARWIN/Divide.m3:634:0: internal compiler error: verify_stmts failed

jbook2:p240 jay$ wc -l AMD64_DARWIN/*.m3
   46913 total


:)


 - Jay
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20101123/66e5a622/attachment-0002.html>


More information about the M3devel mailing list