Throw away old and unused functions for state.

Generate a state proc for a stateful function.

This means that stateful functions can now be succesfully compiled to some
extent (the Alu example only works without the simplifier).

Don't inline register_bank.

Only do State packing once in register_bank.

Improve Normalize debug output.

Add isStateCon helper.

Use mkBinderFor instead of mkInternalVar.

Add identical let binding merge normalization pass.

Add cast simplification normalization pass.

This ensures that the casts used for packing and unpacking State variables
only operate on simple variables.

Make output ports optional.

This makes the output port in an Entity of the Maybe Port type, so we can
leave out the output port (for example when its type is empty). This makes
the code a bit more robus in the face of empty types.

Fix more comments.

Fix comment.

Fix haddock comments

Add support for translating designs defined over multiple modules

Have to test the stability, it works for HighOrdAlu

Have reduceCoreListToHsList work with simplified modules

We now use compileToCoreSimplified, I'm sure there will be dragons

State newtype has been moved to CLasH.HardwareTypes

Alu.hs now uses the new CLasH.HardwareTypes

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

* 'master' of git://github.com/christiaanb/clash:
  Add the type-alias Vector for TFVec to HardwareTypes, and don't export TFVec.TFVec anymore
  Add the module hardware types, that exports all builtin types.
  Add new modules to cabal file

Rewrite Alu using the State newtype.

This is the way stateful functions will be working. Alu.hs now compiles,
but it does not result in valid (stateful) VHDL yet.

Filter out empty-typed binders in selector cases.

This makes sure that the non-empty binders are skipped when calculating
the field number, which prevents overflow when indexing the field names.

Add hasNonEmptyType helper function.

Let argsToVHDLExpr ignore empty types.

This makes sure that state arguments are not passed to called functions.

Generalize vhdl_ty to work an all TypedThings.

Add isJustM helper function.

Rename eitherCoreOrExprArgs to argsToVHDLExprs.

Also add a helper function to make it more readable.

Remove the getType field name from OrdType.

This conflicted with the getType method from TypedThing. The field label
was never used.

Put mkAssocElems in the TranslatorSession.

Remove unused mkAssocElemIndexed.

Don't generate VHDL for substate extractor cases.

Fix letremoveunused, it removed all used bindings.

Fix the trace output of normalized functions.

Before, it would output the un-normalized version.

Filtering out state arguments is no longer needed.

Since State types generate empty VHDL types now, they will be filtered out
automatically.

Generate the empty type for State types.

Allow explicit empty VHDL types using Maybe.

The VHDL type generating functions can now return "Nothing" to mean that an
empty type would be generated. There are still some spots (builtin
functions mostly) that should handle this more gracefully, but it works
for now. Only single-constructor zero-argument algebraic types generate
the empty type currently, e.g. ().

Don't generate input ports for State arguments.

Don't generate VHDL for state packing.

Add TypedThing class, and generalize hasStateType with it.

Add letremoveunused transformation.

This transformation removes all unused let bindings.

Add changeif normalization helper function.

Add expr_uses_binders predicate.

Add {is,has}StateType predicates.

Let mkTupleShow support empty tuples.

Add the type-alias Vector for TFVec to HardwareTypes, and don't export TFVec.TFVec anymore

Add the module hardware types, that exports all builtin types.

This way, users only have to import CLasH.HardwareTypes to get
access to all translatable hardware types.

Add new modules to cabal file

Remove the unused "stateful" argument fomr makeVHDL*.

State will be explicitely specified in the Haskell sources, so no reason
anymore to pass the statefulness of a function around.

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

* 'master' of git://github.com/christiaanb/clash:
  Fix builtin functions (!),take and RangedWord

Conflicts:
cλash/CLasH/VHDL/Generate.hs

Restructure the "finder" functions.

Previously, there were three different functions for the top entity,
initial state and test input. Now, there is just a single one, which
guarantees that these things are properly linked together. This should no
also support generating multiple entities at the same time (though there
is no top level interface for this yet).

This change also makes the testbench generation optional. A bunch of
functions were moved from Utils to GhcTools, to prevent a dependency loop.

Add catMaybesM and concatM helper functions.

Use the right id for the testbench architecture.

Fix builtin functions (!),take and RangedWord

Fix testbench again.

The testbench code has also been moved to a separate module.

Split of part of getNormalized into normalizeExpr.

Add unzipM helper function.

Slightly simplify getEntity.

Move around some helper functions.

This moves some stuff from NormalizeTools and NormalizeTypes into the
(new) BinderTools and TranslatorTypes. This also puts most of these
function in the TranslatorSession instead of the TransformMonad.

Remove compatability aliases for the old sessions.

Make vhdl generation and normalization lazy.

Previously, first all function would be (recursively) normalized, and then
VHDL would be generated. Now, functions are normalized when needed, and
recursion is done while generating VHDL (so we know exactly which
components we are instantiating).

This disables the testbench and TFVec constructor for now, I'll fix that
in the next commits.

This also moves some code around, to prevent loops between Generate and
VHDL (again...).

The VHDLSession and NormalizeSession have been removed, and replaced with
the (previously unused) TranslatorSession. There are a few backward
compatibility aliases in place, so the next commit will probably remove
these and do a bunch of trivial replaces all over the code.

Put a comment on UniqSupply generation back.

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

* 'master' of git://github.com/christiaanb/clash:
  TFVec builtin should now completely work
  Clean up imports in Generate.hs
  Use createDirectoryIfMissing to create the vhdl directory, as it can create the parent directories too
  Reflect API changes of clash in clash-nolibdir
  Bring back listBind(ings) in Utils.hs by reorganising Translator.hs and GhcTools.hs
  Fix a few comments so Haddock will complete
  Further clean up Translator.hs (almost done now)
  Cleanup Translator.hs
  Fail again when we find a global function
  Partially fixed TFVec builtin function. Still needs to be verified

TFVec builtin should now completely work

Clean up imports in Generate.hs

Use createDirectoryIfMissing to create the vhdl directory, as it can create the parent directories too

Reflect API changes of clash in clash-nolibdir

Bring back listBind(ings) in Utils.hs by reorganising Translator.hs and GhcTools.hs

Fix a few comments so Haddock will complete

Further clean up Translator.hs (almost done now)

Cleanup Translator.hs

Can be reduced in size even more by parameterizing the findcore functions
to work for both strings and annotations

Fail again when we find a global function

Was only disabled to fix the builtin TFVec function

Partially fixed TFVec builtin function. Still needs to be verified

Merge casevalsimpl and casewild into casesimpl.

Both transformations had a very similar structure, which are now merged.

Fix a small bug in the case wildening.

This bug could be triggered when the scrutinee was a datatype containing a
non-representable value. This is probably not translatable, but handle it
properly anyway.

Prevent conflicts with inlinenonrep in normalization.

This is a followup on
ebdc2024d7cf71: Let inlinefun inline everything non-representable.
which make inlinefun more general. A few other normalizations tried to
prevent loops with inline fun, but now work correctly for the (new)
inlinenonrep.

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

* 'master' of git://github.com/christiaanb/clash:
  Quick hack implementation of FSVec literals, needs to be fixed
  We need the latest vhdl package
  We now make a show function for all default datatypes.
  Add automated testbench generation according to supplied test input

Conflicts:
cλash/CLasH/Translator.hs

Quick hack implementation of FSVec literals, needs to be fixed

We need the latest vhdl package

We now make a show function for all default datatypes.

We need to figure out how to show custom datatypes in VHDL, for that
we will need a string representation for each constructor.

Add automated testbench generation according to supplied test input

Will not compile in VHDL yet as we need to implement the VHDL show method first

Show type of binder in listBinding.

Make listBind use listBinding.

Extend CoreShow for TyCons.

This still does not completely show TyCons, since they are quite complex,
but at least distinguishes the various constructors and some useful info.

Remove NoGenerics pragma, as the ghc bug 3391 is now fixed

Add a clash wrapper that fills in the libdir from GHC.Paths

Also add NoGenerics pragma to the other types.hs files

Fix core show

Currently Generics support is broken in combination with deriveAccessors

Add licence to top directory

Removed need for GHC.Paths, some functions however require a top libdir

Update .cabal file so that a default build is expected to be in the GHC tree

Make sure clash is build using stage2 ghc when build in ghc build tree

Changed name of cabal file so it will work in the GHC build tree

Changed build-depends to only those libraries required to build clash

tfvec, tfp and th-lift-ng are however required to translate any haskell
file to VHDL. They will be included in the clash package

We now support Annotations to indicate top-level entity and initial state

No need for Main.hs now that clash is a library

Adepted the modules to their new structure

Moved clash to it's own library directory, and started on library structure

Moved to new GHC API (6.11). Also use vhdl package for the VHDL AST

Remove the (now unused) is_wild predicate.

Don't create selector cases for unused binders.

Previously, no selector cases were created for wild binders, using the
hacky is_wild predicate. Now, this checks the free variables of the case
value instead.