ddc-core-flow-0.4.1.1: Disciplined Disciple Compiler data flow compiler.

Safe HaskellNone

DDC.Core.Flow.Transform.Rates.Fail

Synopsis

Documentation

data Fail Source

Why can't rates be inferred?

Constructors

FailNotANormalForm

Function is not in a-normal form

FailNamesNotUnique

Bindings must be unique

FailNoDeBruijnAllowed

Bindings must be named

FailRecursiveBindings

Function contains letrec

FailLetRegionNotHandled

Function contains letregion

FailConstraintFilteredLessFiltered Name Name

The constraint would require a buffer. User must expicitly buffer.

FailConstraintFilteredNotUnique Name Name

The constraint would require a buffer. User must expicitly buffer.

Instances

run :: LogFailures a -> (a, [Fail])Source