Commit 06ea503b1a0d3b84844e1494e9be0f5f21c8f0b6 - cafeobj

Fixed insufficient check of strictness of morphism. tswd 8 years ago

1 changed file(s) with 2 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all

-1

chaos/decafe/view.lisp less more

1188	1188	src-method))
1189	1189	nil)))
1190	1190	(declare (ignore arity-mapped))
1191		(unless (sort= coarity-mapped (term-sort dst-pat))
	1191	(unless (sort<= (term-sort dst-pat) coarity-mapped
	1192	(module-sort-order dst-mod))
1192	1193	(with-output-chaos-warning ()
1193	1194	(princ "operator mapping is not strict wrt sort map:")
1194	1195	(print-next)