search

Plutonomicon / plutarch-plutus

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

PSubtype rework #674

Open kozross opened 3 months ago

kozross commented 3 months ago

Draft of a rework of PTryFrom (and PSubtype while we're at it), to give us two things:

  1. A fundep (so we don't have soup instead of inference)
  2. A way of injecting tracing on failure to downcast (as specified by the caller).