Only apply eta expansion to expressions at the top level.

Derive Eq for CoreContext.

Add LambdaBody to CoreContext.

Only inline top level functions that are completely applied.

Partial function applications will be inlined in their entirety to make
them fully applied first.

Inline all simple top level functions, not just compiler-generated ones.

The checking for compiler generated functions wasn't watertight, so
let's just don't check at all. There is no risk for loops with
funextract anymore, since we only inline functions applied in let
bindings now.

Only inline dictionaries that are likely to be resolvable.

Only inline top level functions that are applied in a let binding.

This should limit the amount of inlinings that happen a bit, make sure
inlining is only done in later stages of inlining and only when it
actually helps to prevent useless components. This should help to
prevent loops with inlinedict, since dictionary arguments should never
be inlined anymore.

Add LetBody and LetBinding to the CoreContext.

Remove notappargs, which is unused now.

Let eta expansion use the passed context instead of using notappargs.

Add AppFirst and AddSecond to CoreContext.

Also let subeverywhere set those contexts when appropriate.

Pass the context in which an expression occurs to each transformation.

Currently, the only context supported is "Other" and contexts are only
passed around and not yet used anywhere.

add fromRangedWord function, and add error message to genVarArgs

Merge branch 'master' of git.stderr.nl/matthijs/master-project/cλash

Conflicts:
cλash/CLasH/Normalize.hs
cλash/CLasH/Normalize/NormalizeTools.hs

Fix gencopy' to use proper vhdl names

Add "init" to list of builtin function within NormalizeTools

Move built_in names to different list within NormalizeTools

Fix zipWith template to work with partially applied functions, add support for boolean negation, and update error message of classopresolution transformation

Don't inline == and /=.

This is a hack to prevent problems caused by the derived Eq instances.
This is not a real solution, though.

Restructure the top level inlining transformation.

It now checks to see if the original (non-normalized) body is already
simple and only resorts to normalizing if the original body isn't simple
already. This should speed things up a bit, also because inlining the
normalized body probably needs some extra cleanups.

Don't resolve class operations that are builtin functions.

We already have a fixed VHDL translation for these, and usually the
actual implementation is not translateable (for example, the derived Eq
instances translate dataconstructors to Int#'s and use GHC.Prim.==# to
compare them).

Use the list of builtin functions for inlining.

Previously a small, fixed list of functions was used for inlining. Now
we use the full list of builtin functions instead.

Slightly improve normalization debug output.

When tracing individual transformations, their before and after outputs
are now always directly after each other.

Fix casesimpl and caseremove wrt scrutinee binders.

Previously, they would not check if the scrutinee binder was used,
resulting in it being removed or incorrectly used in some cases.

Put a list of builtin functions in VHDL.Constants

This will allow normalization to use this list, without creating
circular dependencies by using VHDL.Generate.globalNameTable.

Let classoperationresolution handle partially inlined dictionaries.

Previously, if a dictionary argument was not yet an application of a
dataconstructor (e.g., completely inlined) but an application of a
polymorphic top level binder (e.g., $fsomething), then it would complain
about mismatching types.

Make listBindings return IO () instead of IO [()].

The previous type caused ghci to print an extra list of units after the
regular output, while it simple ignores the single tuple now.

Show classes in listBindings output.

Show uniques in listBindings output.

Add class operation resolution transformation.

This transformation enables user-defined type classes.

Add dictionary inlining transformation.

Let inlinetoplevel use getNormalized_maybe.

This makes the transformation slightly simpler and prepares it for
inlining dictionaries next.

Let getNormalized return Nothing on non-normalizeable functions.

Add variant of isNormalizeable that operates in the TranslatorSession.

Add variant of isRepr that operates in the TranslatorSession.

Add getNormalized_maybe that does not fail if a binder was not found.

Remove getBinding and use getGlobalBind instead.

Support stateful functions with no own state (only substate).

Allow inlining of head and friends.

Use fromMaybe with an error message instead of fromJust.

Ignore all applications that have an empty result type.

Copy initial state when specializing functions.

Ignore selector cases selecting empty typed values.

This occurse when you use unzip in combination with a vector of
substates.

Support unzipping of a vector containing state values.

Add some comments.

Make getFieldLabels errors more verbose.

Give a proper error when a vector of an empty type is used.

Allow ! to be inlined.

Update module name in error message.

Let scrutinee binder removal mark the expression as changed.

Also inline some arithmetic operators.

Add TODO.

Merge branch 'master' of git://github.com/christiaanb/clash into cλash

* 'master' of git://github.com/christiaanb/clash:
  Multiplications are now resized to mimic the behaviour in Haskell
  Fix haddock generation

Add comment.

Multiplications are now resized to mimic the behaviour in Haskell

Fix haddock generation

Merge branch 'cλash' of git.stderr.nl/matthijs/projects/master-project

* 'cλash' of http://git.stderr.nl/matthijs/projects/master-project:
  Actually make the scrutinee binder removal not crash.
  Add scrutinee binder removal transformation.

Clean up source files:

- Remove unused imports
- Remove unneeded '$'
- Remove unneeded 'do'
- Remove unneeded 'return'
- Replace 'concat $ map' by 'concatMap'
- Replace 'mapM' by 'mapM_' if return value is not stored
- Replace 'not $ x `elem` xs' by 'x `notElem` xs'

Actually make the scrutinee binder removal not crash.

Add scrutinee binder removal transformation.

This code is untested, for I have been unable to produce Haskell code to
which it applies...

Use data-accessor-transformers package to remove deprecation warnings

Fixed VHDL Type generation, vhdlTy now uses HType's to generate VHDL Types. Logic from vhdlTy moved to mkHType

Start support on initial state. Substates currently break

Add built-in split function

Update reducer

Fix error message genNegation for non-SizedWord types

Fix bug with generating head and tail functions. Update builtin resize function

Fail again when we try translate a DEFAULT condition

Add some comments

Omit empty block statements in test bench

Add support for multiple alts in case statements

Add support for enumeration types.

The generated VHDL 'show' function is kind of lame, it only prints
the name of the type, not the actual datacon.

Merge branch 'cλash' of git.stderr.nl/matthijs/projects/master-project

* 'cλash' of http://git.stderr.nl/matthijs/projects/master-project:
  Add a trailing newline to HighOrdAlu.
  Add comments to the inlinetoplevel transformation.
  Update comments for inlinenonrep.
  Fix typo.
  Fix typo.

Add support for fromIntegerT

Add some gt,lt,gteq and lteq boolean operators

Add a trailing newline to HighOrdAlu.

Add comments to the inlinetoplevel transformation.

Update comments for inlinenonrep.

Fix typo.

Merge branch 'master' of git://github.com/christiaanb/clash into cλash

* 'master' of git://github.com/christiaanb/clash:
  Use boolean as write enable signal

Use boolean as write enable signal

Fix typo.

Merge branch 'master' of git://github.com/christiaanb/clash into cλash

* 'master' of git://github.com/christiaanb/clash:
  TFP has updated/remade. Change hardwaretypes accordingly
  Connect resetn port to states.
  Fix the resetn signal in the testbench, it is now correctly '0' for 3 ns, and after that '1'

TFP has updated/remade. Change hardwaretypes accordingly

Delete your old git repo of TFP, it doesn't include the darcs history
from the original TFP from Peter Gavin. Then clone the new TFP.

Connect resetn port to states.

Atleast initial state can now easily be added manual.
Be sure to update to the latest 'vhdl' package as the
old one incorrectly pretty printed the "elsif" keyword

Fix the resetn signal in the testbench, it is now correctly '0' for 3 ns, and after that '1'

Merge branch 'cλash' of git.stderr.nl/matthijs/projects/master-project

* 'cλash' of http://git.stderr.nl/matthijs/projects/master-project:
  Add a not in isUserDefined.
  Let vhld_ty handle free tyvars gracefully.
  Add ty_has_free_tyvars predicate.
  Split substitute into substitute and substitute_clone.
  Rewrite substitute to clone the substitution range.
  Don't error on type abstraction when cloning binders.
  When inlining top level functions, guarantee uniqueness.
  Make all binders unique before normalizing.
  Add genUniques function to regenerate all uniques.
  Add mapAccumLM helper function.
  Don't try to inline non-normalizeable top level  functions.
  Add andM and orM utility functions.
  Add isNormalizeable predicate.
  Make isRepr work on TypedThings instead of CoreExpr.
  Also inline functions named "fromInteger".
  Don't extra non-representable values in simplres.
  Use isUserDefined for (not) inlining top level functions.
  Add isUserDefined predicate.
  Inline all top level functions that look simple.

Merge branch 'master' of git://github.com/christiaanb/clash into cλash

* 'master' of git://github.com/christiaanb/clash:
  Work around some bugs in the current clash to make reducer compile correctly
  Just name the testbench: testbench; don't add the unique
  No longer allow slashes in extended names, they are now stripped
  Used unsigned instead of natural as representation of RangedWord
  Add resetn ports

Add a not in isUserDefined.

The meaning of isUserDefined was accidentally reversed.

Let vhld_ty handle free tyvars gracefully.

Previously, free type vars could result in ugly errors from eval_tfp_int
and friends. Now, a type with free type vars is correctly marked as
non-representable.

Add ty_has_free_tyvars predicate.

Split substitute into substitute and substitute_clone.

Since cloning is not needed (nor possible) for type substitutions, this
makes things a bit more clear and elegant.

Rewrite substitute to clone the substitution range.

This makes substitute no longer use CoreSubst for id substitutions, just
for type substitutions (which we don't have to clone before replacing
them). By cloning the substitution range before every substitution, we
keep the binders in it globally unique.

Don't error on type abstraction when cloning binders.

Since we might encounter type abstractions before normalizations, the old
behaviour broke on polymorphic functions (Though type arguments would have
been propagated, there would still be type abstractions directly applied
to the propagated types).

Note that this not actually clones the type variables, it just leaves them
untouched. Since we should never introduce new type variables, this should
_probably_ work out...

When inlining top level functions, guarantee uniqueness.

Make all binders unique before normalizing.

Add genUniques function to regenerate all uniques.

This function replaces all uniques within an expression with new ones, to
generate their uniqueness.

Add mapAccumLM helper function.

Don't try to inline non-normalizeable top level  functions.

Since we do normalization before inlining, we should only try this with
functions that can be normalized.

Add andM and orM utility functions.