[Haskell-cafe] Using FosSyDe to translate haskell to VHDL.

wanghanyi wanghanyi21 at hotmail.com
Wed Mar 11 11:13:10 EDT 2009


Hey Matthijs
     Thanks for replying, and that might help. I will try with it to see if it works, and I am still looking for the answer myself. If there is anyone has worked with the Haskell to VHDL translater, plz let me know cause I have many to discuss.

Thanks

 

Hanyi  
     
> Date: Tue, 10 Mar 2009 20:23:57 +0100
> From: matthijs at stdin.nl
> To: wanghanyi21 at hotmail.com
> CC: haskell-cafe at haskell.org
> Subject: Re: [Haskell-cafe] Using FosSyDe to translate haskell to VHDL.
> 
> Hi Hany,
> 
> > *Plus2> writeVHDL plus2SysDef
> > *** Exception: VHDL Compilation Error: Untranslatable function: where constructs are not supported in functions:
> > where addOnef_0 = n_1 GHC.Num.+ 1
> > in process function `addTwof' (created in Plus2) used by process `plus2Proc' belonging to system definition `plus2' (created in <unkown>)
> I don't know much about ForSyDe, but it seems that where clauses simply aren't
> supported. Perhaps let expressions are?
> 
> The would mean something like the following:
> 
> addTwof :: ProcFun (Int32 -> Int32)
> addTwof = $(newProcFun [d|addTwof :: Int32 -> Int32
> let addOnef = n +1 in
> addTwof n = addOnef+1
> |])
> 
> (Not sure if this is completely valid code, I'm not too familiar with TH..).
> 
> Gr.
> 
> Matthijs


_________________________________________________________________
MSN°²È«±£»¤ÖÐÐÄ£¬Ãâ·ÑÐÞ¸´ÏµÍ³Â©¶´£¬±£»¤MSN°²È«£¡
http://im.live.cn/safe/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090311/f0b96f2a/attachment.htm


More information about the Haskell-Cafe mailing list