microsoft / knossos-ksc

Compiler with automatic differentiation
Other
45 stars 10 forks source link

Improve treatment of unimplemented edefs #1005

Closed dcrc2 closed 2 years ago

dcrc2 commented 2 years ago

Avoid IO and throw in edef implementations: we can use KS_ASSERT to get the same effect.

One use of this was in [rev gt], which can be removed completely because in prelude.ks it is defined as a def, not an edef.