search

Arminius / cat-language

Automatically exported from code.google.com/p/cat-language
Other
0 stars 0 forks source link

Possible type inference bug #12

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
define is0or1 { dup 0 == swap 1 == or }

What is the expected output?
function defined: is0or1 ( int -> bool )

What do you see instead?
exception from type inference engine

What version of the product are you using? On what operating system?
Cat 0.16, Windows XP, C# Express 2005

Original issue reported on code.google.com by nothingo...@gmail.com on 18 Jul 2007 at 11:31

GoogleCodeExporter commented 9 years ago 
Fixed in 0.16.1

Original comment by nothingo...@gmail.com on 20 Aug 2007 at 10:29

GoogleCodeExporter commented 9 years ago

Original comment by cdiggins on 21 Aug 2007 at 1:29