basetunnel
basetunnel
Same problem here.
I'd like to assign @michaelpj , but I can't :)
> Will look at the code in a bit! > > > This could be changed to doing IO directly after a pass has finished, but I didn't notice any...
Indeed, this does not implement deriving checkers for mutual inductives. Instead, it fixes a bug where a non-mutual inductive is _indexed_ by a type from an inductive family. Here is...
I've removed the reference to #65 , as this patch does not implement that.
Thanks @effectfully , I think it's a good idea and I've tried it out. Types that needed a custom `Show` instances are : `Unique`, `Name`, `TyName`, `VarDecl` and `TyVarDecl`. A...
Thanks, that's quite an interesting technique! It's the first time I see how the flexibility of `Term`'s type parameters can be useful. I'll use the code and adapt it to...
Hi, could you please follow the pre-submit checklist? I.e. what is the motivation? Why are there dependency constraints added? Why are comments removed?
> It is also possible to turn programs like > > ```uplc > [(lam x [(lam y [(lam z z) (con integer 1)]) (con integer 2)]) (con integer 3)] >...
Thanks for reporting this and I was able to reproduce it. I'm labeling it low priority because it does not directly affect the correct behaviour of the `convert` subcommand.