Details
-
Type:
Bug
-
Status:
Closed
-
Priority:
Minor
-
Resolution: Fixed
-
Affects Version/s: None
-
Fix Version/s: None
-
Component/s: None
-
Labels:None
Description
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,...)
# 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,...)