Skip to content

Enforce make operation

Robert Goldman requested to merge enforce-make-operation into master

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.

Merge request reports