Closed franciscodr closed 3 years ago
There was a typo in several deprecation messages for the Const data type, where we were using Cons instead of Const.
Const
Cons
There was a typo in several deprecation messages for the
Const
data type, where we were usingCons
instead ofConst
.