Enforce make operation
MAKE-OPERATION
now tries to intern the operations it creates. To avoid having this cause trouble downstream, refuse to let programmers create new operations except through MAKE-OPERATION
.
MAKE-OPERATION
now tries to intern the operations it creates. To avoid having this cause trouble downstream, refuse to let programmers create new operations except through MAKE-OPERATION
.