curry.toolchain.flat2icurry.errors module
- exception curry.toolchain.flat2icurry.errors.Flat2ICurryError[source]
Bases:
CompileErrorAn error in the translation from FlatCurry to ICurry.
Bases: CompileError
An error in the translation from FlatCurry to ICurry.