| jcreigh | dmwit: anyway, if it turns out that your video card presents both screens as a single display to X11 with some odd resolution (2048x768 or whatever), we can work around it very easily. |
| dmwit | jcreigh: Okay, cool. I'll probably try to find you again tomorrow afternoon. |
| dmead | twinview is much easier than xinerama if you have nvidia |
| action | araujo jumps and throws lambdas at everyone |
| araujo | jumps and throws lambdas at everyone |
| action | nmessenger is impaled by the pointy end of a lambda |
| nmessenger | is impaled by the pointy end of a lambda someone @pointless me! plz! |
| Adamant | @pointless me |
| lambdabot | me |
| nmessenger | thx |
| dmead | @pointless poopey |
| lambdabot | poopey |
| nmessenger | @pl \y x -> out x y |
| lambdabot | flip out |
| action | araujo shoots an ADT and packs nmessenger in an existential type |
| araujo | shoots an ADT and packs nmessenger in an existential type |
| nmessenger | oh noes! I've lost typing information! :( |
| dmead | it's the next moral combat i can see it now |
| action | nmessenger passes araujo to a random _|_ function. |
| nmessenger | passes araujo to a random _|_ function. |
| araujo | wowowo |
| action | sorear unsafeCoerce#s himself |
| sorear | unsafeCoerce#s himself |
| nmessenger | sorear: to what type? |
| araujo | hah |
| action | sorear becomes forall a. IO a -> a |
| sorear | becomes forall a. IO a -> a |
| nmessenger | :O |
| action | sorear terrorizes villagers |
| sorear | terrorizes villagers |
| action | sorear burns down cities |
| sorear | burns down cities |
| dmead | burination time |
| action | sorear eats Referential Transparandor |
| sorear | eats Referential Transparandor |
| jcreigh | sorear: you really think Prelude should totally disappear? Not even an implicit (.)? |
| sorear | jcreigh: yes. it's very hard to see (.) go, but I don't see a reasonable way of defining it that doesn't come with a free slippery slope |
| dmead | the import system really does need to be more pragmatic i agree with sorear |
| sorear | {-# IMPORT "Data.Map" #-} |
| dmead | we should have to explicitly import some parts of the prelude hah not in that sense i mean like java ready for "industrial" use |