Yeah, I had a similar idea and think it would be nice. however I prefer
the idea of a 'magic module' so we don't eat up any syntax.

import Label

now Label.Foo will be a value of type Label.Foo for any value taken from
Label.


another possibility is to treat a leading ' as special 

 'foo

this would be somewhat reminicent of lispy languages. we would need to
be careful to not collide with the character syntax though.


        John
-- 
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime

Reply via email to