[
http://dev.sourcefabric.org/browse/LS-551?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17721#action_17721
]
Samuel Mimram commented on LS-551:
----------------------------------
Since it seems to hit quite a number of people, couldn't you come up with a
quick&dirty patch to handle this case (which really seems the case messing up
everybody) and then have a proper fix later?
I don't really like this but I'm afraid that it might take some time to
properly fix subtyping...
> Type inference doesn't perform enough subtyping
> -----------------------------------------------
>
> Key: LS-551
> URL: http://dev.sourcefabric.org/browse/LS-551
> Project: Liquidsoap
> Issue Type: Bug
> Components: Liquidsoap
> Affects Versions: 1.0 beta
> Reporter: Romain Beauxis
> Assignee: David Baelde
> Priority: Blocker
>
> The following does not work:
> output.dummy(
> fallback([strip_blank(sine()), sine()]),
> fallible=true)
> I get:
> this value has type
> source(_)
> but it should be a subtype of (the type of the value at line 1, char 35-42)
> active_source(_)
> It is my understanding that there should be no technical reasons to prohibit
> this and so there must be something to do at the type-checking level..
> Edit: The problem is that type inference guesses that this is a list of
> active_sources, but the second one isn't active; we need a constraint-based
> type inference algorithm to integrate subtyping in smarter ways, eg. delay
> the guess until we've seen all elements.
--
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators:
http://dev.sourcefabric.org/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira
------------------------------------------------------------------------------
EMC VNX: the world's simplest storage, starting under $10K
The only unified storage solution that offers unified management
Up to 160% more powerful than alternatives and 25% more efficient.
Guaranteed. http://p.sf.net/sfu/emc-vnx-dev2dev
_______________________________________________
Savonet-devl mailing list
Savonet-devl@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/savonet-devl
