Provide non-monadic wrapper for typecheck

Toxaris / pts

Interpreter for functional pure type systems.

BSD 3-Clause "New" or "Revised" License

21 stars 7 forks source link

Provide non-monadic wrapper for typecheck #53

Closed Toxaris closed 9 years ago

Toxaris commented 11 years ago

PTS.Core.typecheck has to run in some complicated monad. For testing in ghci, it would be convenient to have a wrapper around typecheck that is not monadic. The wrapper would essentially call the various run... functions to unravel the monad transformer stack.

Blaisorblade commented 9 years ago

Ah, that's what I didn't get to yesterday. Gonna do.

Blaisorblade commented 9 years ago

In PTS.Interactive now, throughout too many commits to list eagerly (sorry I forgot).