From maeder at tzi.de Wed Jul 6 16:12:24 2005 From: maeder at tzi.de (Christian Maeder) Date: Wed, 06 Jul 2005 16:12:24 +0200 Subject: [Hets-devel] Re: Common.Lib.Map oder Data.Map In-Reply-To: References: Message-ID: <42CBE6C8.5070309@tzi.de> Please still use Common.Lib.{Set,Map} instead of Data.{Set,Map} directly in order to stay compatible with older ghc versions! Christian I have not plans to give up Common.Lib.{Set,Map} before hets definitively requires ghc-6.4 or better (and then globally replacing Common.Lib.{Set,Map} with Data.{Set,Map} should be no problem) Klaus L?ttich wrote: > Hallo Christian, > > soll ich eigentlich in neuen Moduln Common.Lib.* oder Data.* > importieren, wenn > ich Sets oder Maps brauche? Sprich werden wir irgendwann > Common.Lib.{Set,Map} aufgeben? > > Gru?, Klaus From till at informatik.uni-bremen.de Mon Jul 11 13:55:24 2005 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Mon, 11 Jul 2005 13:55:24 +0200 Subject: [Hets-devel] CVS Server down, 12.7.05, 12-14 h Message-ID: <42D25E2C.2020701@informatik.uni-bremen.de> Dear friends, our cvs sever will be down tomorrow., 12.7.05, 12-14 h. Sorry for the inconvenience. Greetings, Till -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till at tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till -------------- next part -------------- An embedded message was scrubbed... From: Mattias Werner Subject: CVS Server, 12.7.05, 12-14 Uhr nicht erreichbar Date: Mon, 11 Jul 2005 13:37:55 +0200 Size: 1522 URL: From till at informatik.uni-bremen.de Wed Jul 27 11:05:00 2005 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Wed, 27 Jul 2005 11:05:00 +0200 Subject: [Hets-devel] Re: Problem beim Kompilieren In-Reply-To: <42E6BA24.6040407@tzi.de> References: <42E6BA24.6040407@tzi.de> Message-ID: <42E74E3C.9000601@informatik.uni-bremen.de> Hallo Mingyi, du musst folgendes machen [you should do the following]: in ../uni cvs up make packages in ../programatica cvs up Gru? Till Mingyi Liu wrote: > Hallo Till, > > Nach cvs up kommt ein Fehler beim Kompilieren vor, den ich nicht l?sen > kann. > Obwohl ich meine ver?nderte Code schoon gel?scht habe, gibt es auch > Fehlermeldungen. > Und zwar sind Fehlermeldungen bei meinem Laptop und Ebene 0 > unterschiedlich. Daf?r bin ich nicht verstanden. > P.S. > > bei meinem Laptop: > > ./SPASS/Prove.hs:472:19: Not in scope: `waitForChildProcess' > > ./SPASS/Prove.hs:494:19: Not in scope: `waitForChildProcess' > > ./SPASS/Prove.hs:496:16: Not in scope: data constructor `ChildTerminated' > > ./SPASS/Prove.hs:498:16: Not in scope: data constructor `ChildExited' > > ./SPASS/Prove.hs:510:15: Not in scope: `waitForChildProcess' > make: *** [hets] Error 1 > > > bei Ebene 0: > > ./Comorphisms/Hs2HOLCF.hs:208:8: > Constructor `TypedIds.Class' should have 1 argument, but has been > given 2 > When checking the pattern: PNT _ (TypedIds.Class _ _) _ > In a case alternative: PNT _ (TypedIds.Class _ _) _ -> Nothing > In the case expression: > case t of > PNT _ (TypedIds.Class _ _) _ -> Nothing > _ -> return > $ (let tfs = ... > in > case (orig t) of > G (PlainModule m) n _ -> ... > G (MainModule m) n _ -> ... > _ -> ...) > make: *** [hets] Error 1 > > ich habe so versucht, leider funktioniert es nicht. > make real_clean > make distclean > cvs up -dP -A > > Hast du morgen irgendwann kurz Zeit? > Oder wie kann ich das l?sen? > > Gruss, > Mingyi -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till at tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till