From: Christiaan Baaij <christiaan.baaij@gmail.com>
Date: Fri, 19 Jun 2009 11:25:24 +0000 (+0200)
Subject: Merge branch 'cλash' of http://git.stderr.nl/matthijs/projects/master-project
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fc%CE%BBash.git;a=commitdiff_plain;h=8a17f35807fb35ee4d2a4c35c75e1cf99066f94d

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

* 'cλash' of http://git.stderr.nl/matthijs/projects/master-project:
  Add another higher order testcase, highordtest2.
  Support VHDL generation for two-alternative cases.

Conflicts:
	Translator.hs
---

8a17f35807fb35ee4d2a4c35c75e1cf99066f94d
diff --cc Adders.hs
index ebc1c8c,d4dbbf8..4b18e39
--- a/Adders.hs
+++ b/Adders.hs
@@@ -143,37 -137,44 +143,47 @@@ instance Inv (BitVec D0) wher
  -- Any number of bits adder
  -- Recursive version
  -- [a] -> [b] -> ([s], cout)
 -rec_adder :: ([Bit], [Bit]) -> ([Bit], Bit)
 -
 -rec_adder ([], []) = ([], Low)
 -rec_adder ((a:as), (b:bs)) = 
 -  (s : rest, cout)
 -  where
 -    (rest, cin) = rec_adder (as, bs)
 -    (s, cout) = full_adder (a, b, cin)
 -
 -foo = id
 -add, sub :: Int -> Int -> Int
 -add a b = a + b
 -sub a b = a - b
 -
 -highordtest = \x ->
 -  let s = foo x
 -  in
 -     case s of
 -       (a, b) ->
 -         case a of
 -           High -> add
 -           Low -> let
 -             op' = case b of
 -                High -> sub
 -                Low -> \c d -> c
 -             in
 -                \c d -> op' d c
 +-- rec_adder :: ([Bit], [Bit]) -> ([Bit], Bit)
 +-- 
 +-- rec_adder ([], []) = ([], Low)
 +-- rec_adder ((a:as), (b:bs)) = 
 +--   (s : rest, cout)
 +--   where
 +--     (rest, cin) = rec_adder (as, bs)
 +--     (s, cout) = full_adder (a, b, cin)
 +-- 
 +-- foo = id
 +-- add, sub :: Int -> Int -> Int
 +-- add a b = a + b
 +-- sub a b = a - b
 +-- 
 +-- highordtest = \x ->
 +--   let s = foo x
 +--   in
 +--      case s of
 +--        (a, b) ->
 +--          case a of
 +--            High -> add
 +--            Low -> let
 +--              op' = case b of
 +--                 High -> sub
 +--                 Low -> \c d -> c
 +--              in
 +--                 \c d -> op' d c
 +
 +functiontest :: TFVec D4 Bit -> Bit
 +functiontest = \v -> let r = head v in r
  
+ highordtest2 = \a b ->
+          case a of
+            High -> \c d -> d
+            Low -> let
+              op' :: Bit -> Bit -> Bit
+              op' = case b of
+                 High -> \c d -> d
+                 Low -> \c d -> c
+              in
+                 \c d -> op' d c
  -- Four bit adder, using the continous adder below
  -- [a] -> [b] -> ([s], cout)
  --con_adder_4 as bs =