Package0.2.2
vortex-elab
Elaboration - untrusted source to typed term
- Version0.2.2
- LicenceBSD-3-Clause
- AuthorHorizon Haskell
- Maintainerlocallycompact@gmail.com
- Pinned byhackage vortex-elab 0.2.2
- Sourcehackage.haskell.org/package/vortex-elab-0.2.2
Modules
2 modules- Vortex.Elab9Two flavours: elabAs/elabShow boot a fresh GHC session per call
- Vortex.Elab.Block1Reading a flat vortex file as a do block. A .vx file (or a
Description
The GHC oracle: a partial map from free-form source into the typed term algebra, at a type the caller fixes. hint appears here and only here; swap this package to change the oracle. Compile fuel lives here too, since the wisp controls the source text and type checking is not guaranteed to terminate.
Depends on
4 packages- base-4.22.0.0with GHC
- exceptions-0.10.11with GHC
- ghc-9.14.1with GHC
- hint-0.9.0.9in this set