[
http://dev.sourcefabric.org/browse/LS-602?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=20047#action_20047
]
David Baelde commented on LS-602:
---------------------------------
This isn't a bug, though there might be ways to enhance. As said in the welcome
message of the interactive loop, each sentence is evaluated, then default types
are forced (this is what you're complaining about) and sources are assigned to
clocks (if they are actually used by some output). The thing with default types
is simple: we can't create sources without giving them their type (concrete,
without metavariables). The only alternative would be to make _all_ sources
lazy to delay the forcing of their types, but that's a big change (with some
cost) for just the toplevel. A milder "solution" would be to insist more in the
welcome message of the toplevel, and link to the corresponding page in the doc
(http://savonet.sourceforge.net/doc-svn/phases.html) which could be enriched
with a few illustrative examples, such as the one in this ticket.
> Incorrect source types in interactive mode
> ------------------------------------------
>
> Key: LS-602
> URL: http://dev.sourcefabric.org/browse/LS-602
> Project: Liquidsoap
> Issue Type: Bug
> Reporter: Samuel Mimram
>
> Source types seem to be sometimes incorrect in interactive mode. For instance:
> # s = single("test.mid");;
> s : source(audio=2,video=0,midi=0) = <source>
> Instead, we expect to have midi channels and no audio channel. This does not
> seem to be the case in script mode. For instance the following script is
> running fine:
> s = single("test.mid")
> s = mux_audio(audio=blank(),s)
> s = synth.all.saw(s)
> out(s)
> But it fails to type if we try to execute it step by step in interactive mode:
> # s = single("test.mid");;
> s : source(audio=2,video=0,midi=0) = <source>
> # s = mux_audio(audio=blank(),s);;
> At line 2, char 7:
> this value has type
> source(audio=1+_,...) (infered at line 2, char -12--1)
> but it should be a subtype of
> source(audio=0,...)
--
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. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d
_______________________________________________
Savonet-devl mailing list
Savonet-devl@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/savonet-devl
