search

forsyde / forsyde-deep

Other
1 stars 2 forks source link

[CLOSED] Name lookup of algebraic data types fails. #5

Closed HWoidt closed 8 years ago

HWoidt commented 8 years ago

Issue by HWoidt Thursday Jul 09, 2015 at 12:39 GMT Originally opened as https://gits-15.sys.kth.se/ingo/forsyde-deep/issues/5

The test cases ALU and ButtonEncoder fail with an "Unsupported Type" error: 

### Error in:   0:VHDL Backend Test:0:aluTest
VHDL Compilation Error: Unsupported type Bit
in process function `fullAddFun_0' (created in ALU)  used by  process `fulladd' belonging to system definition `fullAddSys' (created in <unkown>)
### Error in:   0:VHDL Backend Test:6:buttonEncoderTest
VHDL Compilation Error: Unsupported type Direction
in process function `transFun_0' (created in ButtonEncoder)  used by  process `encoder' belonging to system definition `buttonEncoder' (created in <unkown>)

This is due to wrong strings being compared in the enumType registry during translation: enumTypes = fromList [EnumAlgTy "Bit" ["H","L"]] lookupKey = "ForSyDe.Deep.Bit.Bit" This should be resolved by either

HWoidt commented 8 years ago

Comment by HWoidt Tuesday Aug 25, 2015 at 21:02 GMT

Fixed in the porting_ghc7101 branch.