Define how choice elements are translated to hardware. Update bits on types
authorChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Wed, 24 Feb 2010 09:44:53 +0000 (10:44 +0100)
committerChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Wed, 24 Feb 2010 09:44:53 +0000 (10:44 +0100)
commitc4e1a8206baea8d161958cc17a0de462c4cc1573
tree115ec092779d91e1eff1f7ebf4fb431f2de8d41b
parent2e44f3b1a27636bcf3d878359d8cb317b2b57d45
Define how choice elements are translated to hardware. Update bits on types
cλash.lhs