Don't rotate alternatives when there is no default case and there are no binders

Aggregate types containing only stateelements is itself state. Not too sure though, so leave existing comments, and only comment out the original error message.

Number of bits for an Index is the Ceiling of the log2 of its upperbound, not the Floor

rotate alternatives of a case-statement if there is a default case

As identifiers are z-encoded instead of extended they are no longer case sensitive; so make identifiers "more" unique

show function id should just be a basic identifier

Z-encode invalid names instead of using extended identifiers. External tools recognize \ as escape-character

Add parenthesis to output of show function to mimic haskell's show function

Add comment to DEFAULT alternative simplification

Also simplify expressions of the DEFAULT alternative of case expressions

Enum literals are now correctly translated to numbers

Add derivelift function to hardwaretypes

Print null character instead of empty character when adt has no fields

Use numbers in case-selectors to reflect changes to encoding of enum types

Clash depends on newer vhdl package that can print integer typedefs

adtShow now calls vhdl show function to show the constructor

Enum are now integer typedefs instead of unsigned subtypedefs

Numbers are now encoded using a descending index

Add show generation function for ADTs

Encode enumerations as unsigned integers instead of vhdls enum type

Add shiftL and shiftR operators for signed and unsigned. Update name of shiftl and shiftr in Vector type to shiftIntoL and shiftIntoR

Add higherordercpu and matrix multiplication examples

Fix sectioning bug of fold, iterate and friends

map fst works again after latest fixes to clash

getFieldLabels has better error messages

genApplication get an explicit destination type

Builtin builder arguments now get an extra Type.Type

Implement API change of shiftl and shiftr, limit Prelude import of HardwareTypes

Fix vhdl type generation of index type, as upper bound is now exclusive

Give the index type an exclusive upper-bound, and fix related types accordingly

Add a CaseAlt constructor to CoreContext.

Since a case expression can introduce a binder (for its scrutinee), we
should be able to denote that in the CoreContext.

Store which binders become in scope in the CoreContext.

This allows us to determine what variables are local in a more reliable
way and allows distinguishing arguments from other local variables.

Use the CoreContext predicate functions.

Previously, comparisons were made to the constructors directly, which
will break when arguments are added to the CoreContext constructors.

Add predicate functions for the CoreContext type.

Let genApplication handle (built-in) enumeration types.

Since datacons are no longer seen as local variables, genApplication
sees simple datacons without arguments (e.g., x = True). Now it knows
how to handle these.

Restructure genApplication to handle all AggrTypes.

Previously, some cases of AggrType (resulting from recently added extra
ADT support) were not properly handled.

Don't treat datacon id's as local variables.

This ensures that datacon id's get simplified like they should.
Previously, this wasn't really needed, since a datacon id would become a
constant that could be used in conditional assignments directly. Now,
however, there might be more complex ADT's (like the Maybe type), where
one of the constructors is without arguments (e.g., Nothing), but
assigning the enumeration value directly won't work (it should go into
the constructor field).

Add getConstructorFieldLabel accessor function.

Add datacons_for function to get the datacons for a TypedThing.

Correctly treat errors as a nested list in mkTyConHType.

This prevents no errors (list of empty lists) to be treated as an error
condition (since the list is not empty).

Don't mix up the i and dc_i variables.

Add support for multiple-constructor datatypes with fields.

This is the naïve implementation that will not try to use the same
storage space for fields from different constructors, so it might
quickly become inefficient with bigger datatypes. For simple types like
the Maybe type, this should be fine.

The support is not quite working yet, for some reason these new types
are not marked as representable. This is cause because the type
substitution in mkTyConHType does not work for some reason, so the field
type of the Just constructor in (for example) a Maybe Bool type stays
"a" instead of "Bool".

Add stringToVHDLExpr function.

Add datacon_index function to find a datacon in a type.

Make casesimpl support multiple-alt cases with fields.

Merge branch 'master' of git://github.com/christiaanb/clash

* 'master' of git://github.com/christiaanb/clash:
  Do not be overzealous with inlining results of polymorphic functions
  Do not function extract functions that still have free type variables
  Add setup file
  Fix cabal file to reflect temp bug fixes
  Temporarily disable "inlinenonrepresult" transformation, and apply eta-expansion transformation to all expressions
  Rename cλash dir to clash so it behaves well within the ghc build tree
  update cabal file to upload to hackage
  Remove defunct makeVHDLStrings function, messes with haddock
  Update reducer to use new integer types
  Reflect moving TFVec and TFP Integers into clash in sourcefiles related to builtin types
  Update package dependencies
  Move TFVec and TFP integers (Signed, Unsiged and Index) into clash

Do not be overzealous with inlining results of polymorphic functions

Do not function extract functions that still have free type variables

Add setup file

Fix cabal file to reflect temp bug fixes

Temporarily disable "inlinenonrepresult" transformation, and apply eta-expansion transformation to all expressions

Rename cλash dir to clash so it behaves well within the ghc build tree

update cabal file to upload to hackage

Remove defunct makeVHDLStrings function, messes with haddock

Update reducer to use new integer types

Reflect moving TFVec and TFP Integers into clash in sourcefiles related to builtin types

Update package dependencies

Move TFVec and TFP integers (Signed, Unsiged and Index) into clash

Also simplify top level binder scrutinees.

Previously, if the scrutinee was a variable reference, it would not be
simplified, skipping top level binders as scrutinees. Now only local
variable references are skipped.

Add a new "section" for type-class transformations.

Improve listBindings output.

Reorder transformations to match my thesis.

Also add or correct some comments.

Move a part of β-reduction to application propagation.

Make debug output controllable with a top-level "constant".

Add traceIf function for conditional tracing.

Move the application of "everywhere" to dotransforms.

Since every transformation is now applied "everywhere", we don't need to
specify this for every transform. This allows us to change the
application order in the future.

Remove some commented out code.

s/normalise/normalize/

Don't inline non representable results with free type variables.

argprop should ensure that these variables get removed eventually
anyway.

Improve error message in mkSelCase.

Replace fst with a lambda in a map.

Cλash doesn't like mapping the fst builtin yet, so avoid that for now.

Forbid inlinenonrepresult to inline dictionaries.

Remove two debug traces.

Rewrite fromInteger and literal generation.

Literals are less of a hack now and should work more reliably.

No longer treat tfp ints as builtin types.

This makes tfp ints non-representable, breaking their use as literal
arguments to fromIntegerT for now.

Add genCoreArgs wrapper to VHDL.Generate.

Move tfp_to_int from VHDLTools to CoreTools.

Add getFullString function to get a qualified name.

Add non-representable result inlining transformation.

Add case of known constructor simplification.

Allow normalized functions to have a non-representable result.

An extra boolean argument to getNormalized / isNormalizeable switches
this behaviour when needed (which is never currently).

This commit also removes the unused isNormalizeable'.

Add allM and anyM functions.

Split off selector case creation code into CoreTools.

Make top level inlining handle non-representable results gracefully.

Since it does not know (nor care) if the function result is
representable, it now uses splitNormalizedNonRep and checks if the
result is a Var afterwards.

Fix typo in error message.

Add variant of splitNormalized for non-representable expressions.

Switch order of clauses in retvalsimpl to match thesis.

Update comment for return value simplification.

Fix let binding inlining in some cases.

Let binding inlining was not working properly when an to-be-inlined
binding used another to-be-inlined binding and they were inlined in the
wrong order (the result would be a reference to a no longer existing
binding).

Turn letderecursification into let recursification again.

Since we can't completely derecursify everything, just make our lives
easy by making everything recursive.

Revert "Make inlinebind work for non-recursive lets."

This reverts commit 077fe523188b85aff82569232acecfc9dbb082cb.

Conflicts:

cλash/CLasH/Normalize/NormalizeTools.hs

Slightly move the "after normalization" debug output.

This should ensure it is always printed. Previously, it seems it was printed
only when the final state from the monad was accessed, not when the
value was used (which caused problems if the value caused an error
further on).

Compilefix debug output.

Update reducer to latest design (that runs at 159 MHz)

Add time dependency to cabal package

Show number of transformations per function.

Keep (and show) a count of applied transformations.

Merge lambdasimpl, letsimpl and simplres into retvalsimpl transformation.

This makes these transformations like described in my thesis.

Show the current transformation context in the debug output.

Derive Show for CoreContext.