• simonpj's avatar
    [project @ 2004-10-01 10:08:49 by simonpj] · da95f4a0
    simonpj authored
    	Do simple checking on hi-boot files
    This commit arranges that, when compiling A.hs, we compare
    the types we infer with those in A.hi-boot, if the latter 
    exists.  (Or, more accurately, if anything A.hs imports in
    turn imports A.hi-boot, directly or indirectly.)
    This has been on the to-do list forever.