Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
type ConvertM x = CheckM (Set Name, Set Name) Error x Source #
Conversion Monad State contains * names of function that have been converted to Suspended computations. whenever these are called, we need to add a "run" cast. * names of rate XLAMs that have been removed. any reference to these must also be removed.
Things that can go wrong during the conversion.
ErrorInvalidBinder Name | An invalid name used in a binding position |
ErrorPartialPrimitive Name | A partially applied primitive, such as Series |
ErrorNotSupported Name | Something we can't convert, like "runKernel0#", but that shouldn't be created |
ErrorUnexpectedSum | Found an unexpected type sum. |