issue with checking of sub signature

2013-10-27 Thread Richard Hainsworth
I ran into a problem at the weekend and reduced it to a fragment and then looked at alternatives. The problem is in snippet bug2_2 below. There is a type check that fails, but the types appear to be the same. This may be an existing bug. The problem is that when I put the return type in the su

[perl6/specs] 5c0b6d: Add lmddgtfy lemma

2013-10-27 Thread GitHub
Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: 5c0b6ddbbacab2ec318127ec47a6cbd23ba6a903 https://github.com/perl6/specs/commit/5c0b6ddbbacab2ec318127ec47a6cbd23ba6a903 Author: Elizabeth Mattijsen Date: 2013-10-27 (Sun, 27 Oct 2013) Changed paths: