Make getPortMapEntry accept a PortNameMap.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 22 Jan 2009 16:37:14 +0000 (17:37 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 22 Jan 2009 16:37:14 +0000 (17:37 +0100)
commit9741b1a94f02482abdcf4de11cf0d3090012b299
treee87abbc19faf857ab033d76bea6c28b9a9a8cd75
parent43f37e2590806f2f1019018dfc7274a428ece743
Make getPortMapEntry accept a PortNameMap.
Translator.hs