[
http://dev.sourcefabric.org/browse/LS-551?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
David Baelde updated LS-551:
----------------------------
Priority: Major (was: Blocker)
> 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: Major
>
> 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
------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure contains a
definitive record of customers, application performance, security
threats, fraudulent activity and more. Splunk takes this data and makes
sense of it. Business sense. IT sense. Common sense.
http://p.sf.net/sfu/splunk-d2dcopy1
_______________________________________________
Savonet-devl mailing list
Savonet-devl@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/savonet-devl
