Merge branch 'cλash' of http://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.

diff --combined cλash/CLasH/VHDL/Generate.hs
index b058e06c4b2ed3cc5b844fce8efbf293996a92c4,048a711a1e58e6f6d455651d742b84dfad6fb720..dee2a794694394b371f26129a1e79c54ae6c5da2
--- 1/cλash/CLasH/VHDL/Generate.hs
--- 2/cλash/CLasH/VHDL/Generate.hs
+++ b/cλash/CLasH/VHDL/Generate.hs
@@@ -207,7 -207,7 +207,7 @@@ mkConcSm (bndr, app@(CoreSyn.App _ _))
    let valargs = get_val_args (Var.varType f) args
    genApplication (Left bndr) f (map Left valargs)
  
- -- A single alt case must be a selector. This means thee scrutinee is a simple
+ -- A single alt case must be a selector. This means the scrutinee is a simple
  -- variable, the alternative is a dataalt with a single non-wild binder that
  -- is also returned.
  mkConcSm (bndr, expr@(CoreSyn.Case (CoreSyn.Var scrut) b ty [alt])) 
@@@ -292,16 -292,14 +292,16 @@@ genVarArgs wrap dst func args = wrap ds
  -- | A function to wrap a builder-like function that expects its arguments to
  -- be Literals
  genLitArgs ::
 -  (dst -> func -> [Literal.Literal] -> res)
 -  -> (dst -> func -> [Either CoreSyn.CoreExpr AST.Expr] -> res)
 -genLitArgs wrap dst func args = wrap dst func args'
 -  where
 -    args' = map exprToLit litargs
 -    -- FIXME: Check if we were passed an CoreSyn.App
 -    litargs = concat (map getLiterals exprargs)
 -    (exprargs, []) = Either.partitionEithers args
 +  (dst -> func -> [Literal.Literal] -> TranslatorSession [AST.ConcSm])
 +  -> (dst -> func -> [Either CoreSyn.CoreExpr AST.Expr] -> TranslatorSession [AST.ConcSm])
 +genLitArgs wrap dst func args = do
 +  hscenv <- MonadState.lift tsType $ getA tsHscEnv
 +  let (exprargs, []) = Either.partitionEithers args
 +  -- FIXME: Check if we were passed an CoreSyn.App
 +  let litargs = concat (map (getLiterals hscenv) exprargs)
 +  let args' = map exprToLit litargs
 +  concsms <- wrap dst func args'
 +  return concsms    
  
  -- | A function to wrap a builder-like function that produces an expression
  -- and expects it to be assigned to the destination.
@@@ -1448,10 -1446,6 +1448,10 @@@ globalNameTable = Map.fromLis
    , (hwnotId          , (1, genOperator1 AST.Not    ) )
    , (equalityId       , (2, genOperator2 (AST.:=:)  ) )
    , (inEqualityId     , (2, genOperator2 (AST.:/=:) ) )
 +  , (ltId             , (2, genOperator2 (AST.:<:)  ) )
 +  , (lteqId           , (2, genOperator2 (AST.:<=:) ) )
 +  , (gtId             , (2, genOperator2 (AST.:>:)  ) )
 +  , (gteqId           , (2, genOperator2 (AST.:>=:) ) )
    , (boolOrId         , (2, genOperator2 AST.Or     ) )
    , (boolAndId        , (2, genOperator2 AST.And    ) )
    , (plusId           , (2, genOperator2 (AST.:+:)  ) )