Plutonomicon / plutarch-plutus

Typed eDSL for writing UPLC /ˈpluː.tɑːk/
MIT License
124 stars 64 forks source link

Correct pif to hif; add apostrophes to distinguish #589

Closed lemmon-714 closed 1 year ago

lemmon-714 commented 2 years ago
L-as commented 2 years ago

Where does hif come from?

lemmon-714 commented 2 years ago

It is used without explicit definition in the beginning of the file as haskell-if (can't use regular if-then-else because of the then-else, which the pif lacks). Would assume it has the definition

hif :: Bool -> a -> a
hif cond whenTrue whenFalse = if cond then whenTrue else whenFalse

Shall I add it?

L-as commented 2 years ago

Yes please

cjay commented 1 year ago

Superceded by https://github.com/Plutonomicon/plutarch-plutus/pull/608

L-as commented 1 year ago

Thanks for your work!