adt.js
adt.js copied to clipboard
_pattern _datatype and _tag won't work with recursive `this(...)` calls
When recursively calling this(...)
the private members this._pattern
, this._datatype
and this._tag
are updated in a stateful manner and probably won't retain their values after this(...)
.
Probably we need to restore their values after the evaluator has been invoked.