search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

Fix printing of type variables in print-builtin-signatures #6463

Closed kwxm closed 2 months ago

kwxm commented 2 months ago

uplc print-builtin-signatures prints out a table of all of the builtins and their signatures. After some changes in the prettyprinter a while ago this was printing out things like

ifThenElse                         : [ forall a, bool, a-0, a-0 ] -> a-0

This PR jsut makes it use a vesion of the prettyprinter that gives

ifThenElse                         : [ forall a, bool, a, a ] -> a

instead.

kwxm commented 2 months ago

This is a pretty trivial change so I'll just merge it automatically.