Last Friday I decided to get the MacBook's case fixed again — due to a design flaw the top keyboard panel tends to crack in the bottom right corner. This is probably related to how I carry it around in a backpack. They also replaced (at least) the caps on the keyboard, which are perhaps a part of the same assembly (?).
I also took the opportunity to buy a copy of Snow Leopard from the pushers at CompNOW on the UNSW campus, thinking my poor little MacBook could benefit from the decreased memory pressure. In brief:
- Faster? Well, maybe. Certainly shinier.
- GHC is broken, but the fix is in: add
-optc-m32 -opta-m32 -optl-m32
to the GHC driver script or wait for the imminent arrival of a new version. - Isabelle survived just fine.
- MacPorts broke, as it always does.
I'm slow: a new Carbon Emacs has been out for a month.