Lookup input port names for instantiations in the session.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 22 Jan 2009 16:40:04 +0000 (17:40 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 22 Jan 2009 16:40:04 +0000 (17:40 +0100)
commit33c032737b6c84ff5075567d90f4dd2d830dafd6
tree386fe165ff21a89632baad24c5eb1d6941c67014
parent9741b1a94f02482abdcf4de11cf0d3090012b299
Lookup input port names for instantiations in the session.

This replaces the previously hardcoded portnames.
Translator.hs