Skip to content
This repository has been archived by the owner on Apr 13, 2023. It is now read-only.

Add ability to apply OpenType #5524

Open
CeylonMigrationBot opened this issue Mar 30, 2015 · 2 comments
Open

Add ability to apply OpenType #5524

CeylonMigrationBot opened this issue Mar 30, 2015 · 2 comments

Comments

@CeylonMigrationBot
Copy link

[@FroMage] Given an open type, it should be possible to pass it a Map<TypeParameter,ClosedType> to get a ClosedType or a Map<TypeParameter,OpenType> to get another OpenType. That is, let us do type param substitution.

Not sure if this would be for 1.2 or later, but I expect metamodel users would need that.

[Migrated from ceylon/ceylon.language#646]

@CeylonMigrationBot
Copy link
Author

[@sadmac7000] Yes. Yes we do.

@CeylonMigrationBot
Copy link
Author

[@FroMage] Moving to 1.3 as it may require lots of work on the JS side.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

1 participant