> How strange. I use my laptop all the time with MLton and never have any > problem. Do you know what kernel and/or which version of Red Hat (if that is > what you use) you are running on the laptop? My guess: the difference is that Norman is trying to compile big things, like sled and lrtl, while Henry is trying to compile little things, like count-graphs :-).