In reply to Tudor Timi:
The first example is not legal; the second appears correct. Interface port absorb their parametrization from the interface instance they are connected to. There is currently no way to enforce an particular specialization other than to write code to check the parameters manually.
When you say you have compilation errors, you need to show us the errors you are getting. It would also help to see the relevant code, like ow you made the connection.