search

girving / duck

a functional language built around overloading
http://groups.google.com/group/duck-lang
Other
10 stars 2 forks source link

Fix global non-function type declarations #25

Open dylex opened 15 years ago

dylex commented 15 years ago

This program fails:

a :: Int
a = 8
main = exit a

However, removing the type specification from a succeeds. I think I'm incorrectly(?) turning this into an Over.

girving commented 15 years ago

That diagnosis sounds right, but the blame probably falls on me, not you. I think I punted on variable definition type specifications when I implemented the initial layout dependent syntax.