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.

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.

This predicate makes a guess as to which binders are user defined.

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

Inline all top level functions that look simple.

This inlines any function whose normalized version just contains a single
definition. This might be a bit too enthusiastic, though it probably helps
a lot.

Add resetn ports

Add (temporary) simplres normalization pass.

This pass ensures that trivial top level bindings that only reference
another top level binder still get normalized correctly.

Add top level inliner normalization pass.

This pass does not actually do anything yet, it just provides the plumbing
for inlining later on.

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

* 'cλash' of http://git.stderr.nl/matthijs/projects/master-project:
  Make letflat work for nonrec lets in rec lets as well.
  Revert "Limit flattenLets to non-recursive lets only."
  Disable letmerge.
  Make letremoveunused work for recursive lets again.
  Make letflat work for recursive lets again.
  Turn of Normalize debugging again, accidentally committed.

Make letflat work for nonrec lets in rec lets as well.

Revert "Limit flattenLets to non-recursive lets only."

This reverts commit de2b45772572a90429ffe41a86a7ba08e7de6d4b.

Disable letmerge.

When faced with nested recursive and non-recursive lets, letmerge becomes
complicated very quickly, so we might need to rewrite it if it's really
needed. For now, just disable it to prevent it from breaking things.

Make letremoveunused work for recursive lets again.

The non-recursive version is also changed to work for each nested let in
turn, instead of running on a bunch of them at the same time.

Make letflat work for recursive lets again.

Turn of Normalize debugging again, accidentally committed.

This reverst part of commit 93e2a90772f1f599c1abe5ec5403e80dd1719b5c,
"Order the extracted bindings from a case expression properly."

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

* 'cλash' of http://git.stderr.nl/matthijs/projects/master-project:
  Order the extracted bindings from a case expression properly.

Order the extracted bindings from a case expression properly.

Since the case value can use any of the binders bound by the pattern, the
bindings resulting from the pattern should come before the binding from
the value.

Fix replace function to make Quartus II happy

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

* 'cλash' of http://git.stderr.nl/matthijs/projects/master-project:
  Add lambdasimpl normalization pass.
  Make letremoveunused work for non-recursive lets.
  Let casesimpl generate non-recursive lets.
  Add mkNonRecLets and use it.
  Make letmerge work with non-recursive lets.
  Limit flattenLets to non-recursive lets only.
  Move flattenLets from Normalize to CoreTools.
  Make inlinebind work for non-recursive lets.
  Add empty let removal normalization pass.
  Rename letremove to letremovesimple.
  Don't try to simplify nested lets.
  Make letflat work with non-recursive lets.
  Make letsimpl work on and generate a non-recursive let.
  No longer add a top level let before normalization.
  Make some normalizations generate nonrecursive lets.
  Turn let recursification into its opposite.

Ignore casts that just repack state. Don't make VHDL for them, their type is empty

Add builtin blockRAM primitive

Add lambdasimpl normalization pass.

This pass puts the value of a lambda in a let binding, to make a lambda
always evaluate to either a let or a simple variable reference. This was
previously not needed, since there used to be a let always (even an empty
one), but this is no longer the case.

Make letremoveunused work for non-recursive lets.

Let casesimpl generate non-recursive lets.

Add mkNonRecLets and use it.

This function creates a bunch nested non-recursive lets. It is similar to
MkCore.mkCoreLets, but works only for non-recursive lets, which makes it a
bit more elegant in usage.