Boo
  1. Boo
  2. BOO-1322

Generic method signature matching fails in the presence of generic callable parameters

    Details

    • Type: Bug Bug
    • Status: Open Open
    • Priority: Major Major
    • Resolution: Unresolved
    • Affects Version/s: 0.9.3, 0.9.4
    • Fix Version/s: None
    • Component/s: None
    • Labels:
      None
    • Number of attachments :
      0

      Description

      Affects both 0.9.3 and 0.9.4.9[20.01.2011].

      def foo [of T, U] (fun as callable(T, U)) as callable(T, U):
              return fun
      
      def bar (a as int, b as int):
              print a, b
      
      foo (bar) (1, 2)
      

      $ booc test.boo
      Boo Compiler version 0.9.3.3457 (2.8.1 (tarball Fri Dec 10 16:40:44 CET 2010))
      test.boo(7,5): BCE0017: The best overload for the method 'TestModule.foo[of int, int]' is not compatible with the argument list '(callable(int, int) as void)'.
      test.boo(7,5): BCE0017: The best overload for the method 'callable(T, U) as void' is not compatible with the argument list '(int, int)'.
      2 error(s).

        Activity

        There are no entries against this issue.

          People

          • Assignee:
            Unassigned
            Reporter:
            Zygfryd
          • Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

            • Created:
              Updated: