| 
									
										
										
										
											2010-03-29 13:14:26 -04:00
										 |  |  | ! Copyright (C) 2006, 2010 Slava Pestov. | 
					
						
							| 
									
										
										
										
											2008-07-20 05:24:37 -04:00
										 |  |  | ! See http://factorcode.org/license.txt for BSD license. | 
					
						
							| 
									
										
										
										
											2010-03-29 13:14:26 -04:00
										 |  |  | USING: vocabs.loader ;
 | 
					
						
							| 
									
										
										
										
											2008-07-20 05:24:37 -04:00
										 |  |  | IN: stack-checker.errors | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-04-23 23:17:25 -04:00
										 |  |  | TUPLE: inference-error ;
 | 
					
						
							| 
									
										
										
										
											2009-02-26 02:25:13 -05:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-04-23 23:17:25 -04:00
										 |  |  | ERROR: do-not-compile < inference-error word ;
 | 
					
						
							| 
									
										
										
										
											2008-07-20 05:24:37 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-11-09 01:17:24 -05:00
										 |  |  | ERROR: bad-macro-input < inference-error macro ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | ERROR: unknown-macro-input < inference-error macro ;
 | 
					
						
							| 
									
										
										
										
											2008-07-20 05:24:37 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-04-23 23:17:25 -04:00
										 |  |  | ERROR: too-many->r < inference-error ;
 | 
					
						
							| 
									
										
										
										
											2008-07-20 05:24:37 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-04-23 23:17:25 -04:00
										 |  |  | ERROR: too-many-r> < inference-error ;
 | 
					
						
							| 
									
										
										
										
											2008-07-20 05:24:37 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-04-23 23:17:25 -04:00
										 |  |  | ERROR: missing-effect < inference-error word ;
 | 
					
						
							| 
									
										
										
										
											2009-04-20 19:44:45 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-04-23 23:17:25 -04:00
										 |  |  | ERROR: effect-error < inference-error inferred declared ;
 | 
					
						
							| 
									
										
										
										
											2009-04-20 19:44:45 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-04-23 23:17:25 -04:00
										 |  |  | ERROR: recursive-quotation-error < inference-error quot ;
 | 
					
						
							| 
									
										
										
										
											2009-02-26 02:25:13 -05:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-04-23 23:17:25 -04:00
										 |  |  | ERROR: undeclared-recursion-error < inference-error word ;
 | 
					
						
							| 
									
										
										
										
											2008-07-20 05:24:37 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-04-23 23:17:25 -04:00
										 |  |  | ERROR: diverging-recursion-error < inference-error word ;
 | 
					
						
							| 
									
										
										
										
											2008-11-12 20:08:40 -05:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-04-23 23:17:25 -04:00
										 |  |  | ERROR: unbalanced-recursion-error < inference-error word height ;
 | 
					
						
							| 
									
										
										
										
											2008-07-20 05:24:37 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-04-23 23:17:25 -04:00
										 |  |  | ERROR: inconsistent-recursive-call-error < inference-error word ;
 | 
					
						
							| 
									
										
										
										
											2008-07-20 05:24:37 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-11-09 01:17:24 -05:00
										 |  |  | ERROR: transform-expansion-error < inference-error error continuation word ;
 | 
					
						
							| 
									
										
										
										
											2009-04-30 21:40:47 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2010-03-04 22:30:08 -05:00
										 |  |  | ERROR: bad-declaration-error < inference-error declaration ;
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2010-03-08 01:23:24 -05:00
										 |  |  | ERROR: unbalanced-branches-error < inference-error word quots declareds actuals ;
 | 
					
						
							| 
									
										
										
										
											2010-03-04 22:30:08 -05:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2010-04-18 15:29:24 -04:00
										 |  |  | { "stack-checker.errors" "debugger" } "stack-checker.errors.prettyprint" require-when |