<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>If anyone interested...</div><div><br></div><div>Agda-2.2.9 compiled perfectly with 7.0.1 release but with 7.1.20110131 the compiler had a few problems including "impossible happened" when building profiling library.</div><div><br></div><div>Another one was in src/full/Agda/TypeChecking/Positivity.hs @ 260: </div><div><div><font class="Apple-style-span" face="'Courier New'">instance ComputeOccurrences Term where</font></div><div><font class="Apple-style-span" face="'Courier New'"> occurrences vars v = case v of</font></div><div><font class="Apple-style-span" face="'Courier New'"> Var i args -></font></div><div><font class="Apple-style-span" face="'Courier New'"> maybe Map.empty here (vars ! fromIntegral i)</font></div><div><font class="Apple-style-span" face="'Courier New'"> ..........................</font></div><div><font class="Apple-style-span" face="'Courier New'"> where</font></div><div><font class="Apple-style-span" face="'Courier New'"> vs ! i</font></div><div><font class="Apple-style-span" face="'Courier New'"> | i < length vs = vs !! i</font></div><div><font class="Apple-style-span" face="'Courier New'"> | otherwise = error $ show vs ++ " ! " ++ show i ++ " (" ++ show v ++ ")"</font></div></div><div><br></div><div>Compiler complained about ! in "vars ! fromIntegral" suggesting Map.!</div><div><br></div><div>after i changed the code to </div><div><br></div><div><div><font class="Apple-style-span" face="'Courier New'"> where</font></div><div><font class="Apple-style-span" face="'Courier New'"> (!) vs i</font></div><div><font class="Apple-style-span" face="'Courier New'"> | i < length vs = vs !! i</font></div><div><font class="Apple-style-span" face="'Courier New'"> | otherwise = error $ show vs ++ " ! " ++ show i ++ " (" ++ show v ++ ")"</font></div></div><div><br></div><div>everything proceeded as expected.</div><div><br></div><div>I also had to give -XFlexibleInstances and -XBangPatterns that was not required previously.</div><div>Agda can be got from </div><div><span class="Apple-style-span" style="font-family: sans-serif; font-size: 13px; line-height: 18px; -webkit-border-horizontal-spacing: 2px; -webkit-border-vertical-spacing: 2px; ">darcs get <a href="http://code.haskell.org/Agda/" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; padding-top: 0px; padding-right: 0px; padding-bottom: 0px; padding-left: 0px; text-decoration: none; color: rgb(196, 69, 29); ">http://code.haskell.org/Agda/</a></span></div><div><br></div><div>pavel.</div></body></html>