Skip to content

Commit 318cb3f

Browse files
committed
cleanup toods
1 parent f536009 commit 318cb3f

File tree

1 file changed

+0
-20
lines changed

1 file changed

+0
-20
lines changed

TODO.markdown

Lines changed: 0 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -4,23 +4,3 @@
44
- http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html
55
- for stuff like the Not contract, should I make a standard set of classes to check those functions with? Would that be useful at all?
66
- also write specs for this stuff
7-
8-
- change syntax to `Num, Num => Num` ? Looks easier to read.
9-
10-
Two methods, a and b:
11-
12-
class Object
13-
def a(x)
14-
x + 2
15-
end
16-
17-
Contract Num, Num
18-
def b(x)
19-
x + 2
20-
end
21-
end
22-
23-
Both exactly the same, except `b` has a contract on it. This causes problems:
24-
25-
p Object.a(5) # works
26-
p Object.b(5) # Error! self doesn't have a decorated_methods array!

0 commit comments

Comments
 (0)