search

evincarofautumn / kitten

A statically typed concatenative systems programming language.
http://kittenlang.org/
Other
1.1k stars 41 forks source link

Type checker does not check types #46

Closed strager closed 11 years ago

strager commented 11 years ago

The following typechecks but fails during interpretation:

def ; ([a] a -> [a]): prepend

([Char])[]
'a'; 'b';

Type of prepend:

def prepend (a [a] -> [a])

Error:

kitten: user error (Pattern match failure in do expression at lib/Kitten/Interpret.hs:90:5-14)
evincarofautumn commented 11 years ago

Known issue (#33) which I’m working on.

strager commented 11 years ago

What I call a bug you call a missing feature? ;P

evincarofautumn commented 11 years ago

Yes. The only code that doesn’t have bugs is code that doesn’t exist. ;)