type checker reports wrong parameter count
|
|
Bugzilla Link |
1021 |
Created on |
Sep 10, 2012 21:02 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Extended Description
ABORT: line 12 file: parserbug.sac
ABORT: No definition found for a function "StdIO::print" that accepts an
ABORT: argument of type "int{0}" as parameter no 3. Full argument types are
ABORT: "( Terminal::Terminal, TermFile::TermFile, int{0}, int{20})".
*** Compilation failed ***
*** Exit code 44 (Running type inference system)
*** 1 Error(s), 0 Warning(s)
sac@rattler:~/sac/testsuite/optimizations/lacs$ cat parserbug.sac
/*
* Wrong element number for error message.
*
*/
use Array:{*,--,-,genarray,iota,sum,+,take,++,<};
int main()
{
i = 0;
lim = 20;
StdIO::print( i, lim);
return( 0);
}
sac@rattler:~/sac/testsuite/optimizations/lacs$ sac2c -V
sac2c v1.00-beta (Haggis And Apple)
developer rev 18218:MODIFIED linux-gnu_x86_64
(Mon Sep 10 13:25:23 EDT 2012 by sac)