Use varToVHDLExpr in mkConcSm.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Tue, 23 Jun 2009 13:07:12 +0000 (15:07 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Tue, 23 Jun 2009 13:08:07 +0000 (15:08 +0200)
Previously, this used some custom set of functions. Using varToVHDLExpr
allows us to support constants for datacons later on.


No differences found