Does anyone around here have experience using autosubst-2?
I'm having a bit of trouble even using the notation
t[theta], which may be related to a warning I'm getting:
Warning: Notation "_ [ _ ]" was already used in scope subst_scope. [notation-overridden,parsing]
(ping @Yannick Forster )
Did you generate the code using the Haskell implementation of Autosubst 2?
Yep! It works like a peach!
I can paste the sig file if you like...
or the generated file
can you send me both? :)
FYI, Yannick kindly helped me figure out the issue: it was a few lines of the generated code that needed to be commented out.
Last updated: Feb 06 2023 at 12:04 UTC