I appear to have managed to get a local version of Map that works, and runs through hat-trans... Unfortunately the output of hat-trans doesn't appear to compile... dhcp296d:~/Documents/Work/Hat test cases/hoogle-me/src tatd2$ hmake Main ghc -c -o TypeAlias.o TypeAlias.hs ghc -c -o General.o General.hs ghc -c -o Result.o Result.hs ghc -c -o MatchClass.o MatchClass.hs ghc -c -o Lexer.o Lexer.hs ghc -c -o Parser.o Parser.hs ghc -c -o MatchType.o MatchType.hs ghc -c -o TextUtil.o TextUtil.hs ghc -c -o MatchSymbol.o MatchSymbol.hs ghc -c -o MatchName.o MatchName.hs ghc -c -o Database.o Database.hs ghc -c -o Match.o Match.hs ghc -c -o Main.o Main.hs ghc -o Main MyMap.o General.o MatchClass.o TypeAlias.o MatchType.o MatchName.o MatchSymbol.o Lexer.o TextUtil.o TypeSig.o Database.o Parser.o Result.o GetOpt.o Match.o Main.o dhcp296d:~/Documents/Work/Hat test cases/hoogle-me/src tatd2$ hmake - hat Main hat-trans MyMap.hs Wrote Hat/MyMap.hs ghc -c -package hat -o Hat/MyMap.o Hat/MyMap.hs Hat/MyMap.hs:2268:41: Not in scope: `Hat.Set.afromDistinctAscList' Hat/MyMap.hs:2269:4: Not in scope: `Hat.Set.hfromDistinctAscList' dhcp296d:~/Documents/Work/Hat test cases/hoogle-me/src tatd2$ Anyone got any good ideas? Bob On 28 Oct 2005, at 12:29, Malcolm Wallace wrote:

Thomas Davie writes:

...

I'm trying to get some reasonably bit examples to test hat-detect with... Problem is, most of them need Data.map to work... Is there any reason why I shouldn't embark on shoving it through hat-trans?

No, just be careful to check all the dependencies it is going to need, e.g. Data.Set and Data.Typeable, and do the transitive closure of those too.

I suspect Data.Typeable might be hard for hat-trans, since it uses some cpp hackery. Try it, but if it seems difficult, you could maybe just comment out the typeable stuff in Data.Map and Data.Set.

Regards, Malcolm _______________________________________________ Hat mailing list Hat@haskell.org http://www.haskell.org/mailman/listinfo/hat