Add sized_word_len, which gets the length from a SizedWord type.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 9 Apr 2009 15:58:59 +0000 (17:58 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 9 Apr 2009 15:58:59 +0000 (17:58 +0200)
commit6cd03137e536e134852490f5a736a526cd014da9
treef359fbbec72fc811cc5f56488492ba31979761ff
parent19150b91c6ef62bd9d1da7b615b7364532d902d5
Add sized_word_len, which gets the length from a SizedWord type.
CoreTools.hs