- Hat - Haskell.org

Special report on technological development
by The Tech News 17 Jan '03

17 Jan '03

The Tech News, January 2003 Production Mini-plants in mobile containers. Co-investment Program "...Science Network will supply to countries and developing regions the technology and necessary support for production in series of Mini- plants in mobile containers (40-foot). The Mini-plant system is designed in such a way that all the production machinery is fixed on the platform of the container, with all wiring, piping, and installation parts; that is, they are fully equipped... and the mini-plant is ready for production." More than 700 portable production systems: Bakeries, Steel Nails, Welding Electrodes, Tire Retreading, Reinforcement Bar Bending for Construction Framework, Sheeting for Roofing, Ceilings and Façades, Plated Drums, Aluminum Buckets, Injected Polypropylene Housewares, Pressed Melamine Items (Glasses, Cups, Plates, Mugs, etc.), Mufflers, Construction Electrically Welded Mesh, Plastic Bags and Packaging, Mobile units of medical assistance, Sanitary Material, Hypodermic Syringes, Hemostatic Clamps, etc. Science Network has started a Co-investment program for the installation of small Assembly plants to manufacture in series the Mini-plants of portable production on site, region or country where required. One of the most relevant features is the fact that these plants will be connected to the World Trade System (WTS) with access to more than 50 million raw materials, products and services and automatic transactions for world trade. Due to financial reasons, involving cost and social impact, the best solution is setting up assembly plants on the same countries and regions, using local resources (labor, some equipment, etc.) Science Network participates at 50% (fifty percent) for investment of each Assembly plant. Request more information: <A HREF="mailto:letters@the-tech-news.com">Letters to the Editor</A> By Robert B. Lethe, Editor Mini-plantas de produccion en contenedores moviles. Programa de Co-inversion "...Science Network suministrara a paises y regiones en vias de desarrollo la tecnologia y el apoyo necesario para la fabricacion en serie de Mini-plantas de produccion en contenedores moviles (40-foot). El sistema de Mini-plantas esta diseñado de forma que todas las maquinas de produccion van instaladas fijas sobre la propia plataforma del contenedor, con el cableado, tuberias e instalaciones; es decir, completamente equipadas... y a partir de ese momento están listas para producir." Mas de 700 sistemas de produccion portatil: Panaderias, Producción de clavos de acero, Electrodos para soldadura, Recauchutado de neumaticos, Curvado de hierro para armaduras de construccion, Lamina perfilada para cubiertas, techos y cerramientos de fachada, Bidones de chapa, Cubos de aluminio, Menaje de polipropileno inyectado, Piezas de melamina prensada (vasos, platos, tazas, cafeteras, etc.) Silenciadores para vehiculos, Malla electrosoldada para la construccion, Bolsas y envases de plastico, Unidades moviles de asistencia medica, Material sanitario (jeringas hipodermicas, Pinzas hemostaticas, etc.) Science Network ha puesto en marcha un programa de Co-inversion para la instalacion de pequeñas Plantas ensambladoras para fabricar en serie las Mini-plantas de produccion portatil, en el lugar, region o pais que lo necesite. Una de las características relevantes es el hecho de que dichas plantas quedaran conectadas al Sistema del Comercio Mundial (WTS) con acceso a mas de 50 millones de mercancias, materia primas, productos, servicios y las operaciones automaticas de comercio internacional. Resulta obvio que por razones economicas, de costes y de impacto social, lo apropiado es instalar plantas ensambladoras en los mismos paises y regiones asi como utilizar los recursos locales (mano de obra, ciertos equipamientos, etc.) Science Network participa al 50% en la inversion de cada Planta ensambladora. Solicitar mas informacion: <A HREF="mailto:letters@the-tech-news.com">Letters to the Editor</A> Robert B. Lethe, Editor ------------------------------------------------------------------------- If you received this in error or would like to be removed from our list, please return us indicating: remove or un-subscribe in subject field, Thanks. <A HREF="mailto:editor@the-tech-news.com"> Editor</A> © 2002 The Tech News. All rights reserved.

1 0

hat fails to build on FreeBSD-current
by Oliver Braun 19 Nov '02

19 Nov '02

Hi, hat fails to build on FreeBSD-current. See [1] for Details. nhc98-1.14a has been built with ghc-5.04.1. $ cc --version cc (GCC) 3.2.1 [FreeBSD] 20021009 (prerelease) Regards, Olli 1. http://bento.freebsd.org/errorlogs/5-full/hs-hat-2.00.log -- {- IST & IIS _ INF _ UniBwM :: obraun(a)informatik.unibw-muenchen.de -} {- Tele-Consulting GmbH :: obraun(a)Tele-Consulting.com -} {- FreeBSD Commmitter :: obraun(a)FreeBSD.org -}

2 2

HAT issue
by Adam Poswolsky 28 Oct '02

28 Oct '02

Hi, I was using your HAT utility to trace through a program of mine and it encountered an odd problem when i tried to do "hmake -hat ....." I think this may be a known problem where you say hat-trans output fails to compile if the source program depends on defaults to resolve numeric types. However, I am not sure. It compiles fine under Hugs and GHC. If you explicitly state the type then it works. So all you need to do is UN-comment line 67 and then the attached code will work. BTW, Your tool turned out to be VERY useful. Thanks! -Adam adam.poswolsky(a)yale.edu

2 1

Strange hat-trans error
by Nils＠InfoSun.FMI.Uni-Passau.De 14 Oct '02

14 Oct '02

Hi, I'm using hat 2.00 with hmake 3.06 and ghc 5.02.3 and get a strange compilation error on the following (admittedly obscure) function: map_fst3:: (a->a) -> ((a,b,c) ->d-> (a,b,c)) ->(a,b,c) -> d -> (a,b,c) (f `map_fst3`g) (a,b,c) d = (f a', b', c') where (a',b',c') = g (a,b,c) d The error is: >>>>>>>>>>>>>>>>>>> hat-trans foo.hs Fail: Need infix operator at 131:18 <<<<<<<<<<<<<<<<<<< Line 131 would be the 2nd of this 3-line example. Why does hat-trans want an infix operator there? Can someone shed any light on this? ;) Thanks, Nils -- Nils Ellmenreich, Lst. f. Programmierung, Universitaet Passau, Germany

2 1

Hat install problem
by Atze Dijkstra 01 Oct '02

01 Oct '02

Hello, in trying to make hat work (on MacOSX 10.2.1) I consistently end up with: strip /Volumes/Apps/Install/nhc/lib/powerpc-Darwin-6.1/hat-trans touch targets/powerpc-Darwin-6.1/hat-trans-nhc cd src/hat/lib; make HC=nhc98 all install-nhc98 mkdir -p /Volumes/Apps/Install/nhc/targets/powerpc-Darwin-6.1/obj/hatlib/nhc98 || /usr/bin/true mkdir -p /Volumes/Apps/Install/nhc/lib/powerpc-Darwin-6.1/hatlib/nhc98 || /usr/bin/true gcc -O -D__NHC__ -DVERSION="\"2.01\"" -I/Volumes/Apps/Install/nhc/include -c -o /Volumes/Apps/Install/nhc/targets/powerpc-Darwin-6.1/obj/hatlib/nhc98/hat.o hat.c nhc98 +RTS -K12M -H64M -RTS -cpp -c -o /Volumes/Apps/Install/nhc/targets/powerpc-Darwin-6.1/obj/hatlib/nhc98/TPreludeBuiltinTypes.o TPreludeBuiltinTypes.hs I/O error (user-defined), call to function `userError': Can't open any of: ./Hat.hi /usr/local/include/nhc98/Hat.hi when trying to read Hat. make[1]: *** [/Volumes/Apps/Install/nhc/targets/powerpc-Darwin-6.1/obj/hatlib/nhc98/TPreludeBuiltinTypes.o] Error 1 make: *** [targets/powerpc-Darwin-6.1/hat-lib-nhc] Error 2 [orff:Apps/Install/nhc] atze% find . -name Hat.hi -print [orff:Apps/Install/nhc] atze% That is, I downloaded hat-2.00 and cvs checked out nhc, configured for compiling with nhc98 (which did install ok), then 'make hat'. can you help me out here? thanks in advance, -- - Atze - Atze Dijkstra, Institute of Information & Computing Sciences, /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands / | \ Tel.: +31-30-2534093/1454 | WWW : http://www.cs.uu.nl/~atze /--| \ Fax : +31-30-2513971 | Email: atze(a)cs.uu.nl / |___\

2 5

Problem building hat with GHC 5.04
by Kirsten Chevalier 30 Aug '02

30 Aug '02

I'm getting the following error when trying to compile hat using GHC 5.04 on a machine running RedHat Linux 7.3: # make cd src/compiler98; make HC=ghc hat-trans make[1]: Entering directory `/tmp/hat-2.00/src/compiler98' hmake -ghc +CTS -package lang -CTS -d /tmp/hat-2.00/targets/ix86-Linux/obj/compiler98 HatTrans Fail: Can't find module IO in . Or in standard libraries at /usr/lib/ghc-5.02.3/imports/std /usr/lib/ghc-5.02.3/imports/lang /usr/lib/ghc-5.02.3/imports/concurrent /usr/lib/ghc-5.02.3/imports/data /usr/lib/ghc-5.02.3/imports/net /usr/lib/ghc-5.02.3/imports/posix /usr/lib/ghc-5.02.3/imports/text /usr/lib/ghc-5.02.3/imports/util /usr/lib/ghc-5.02.3/imports/hssource /usr/lib/ghc-5.02.3/imports/greencard /usr/lib/ghc-5.02.3/imports/xlib /usr/lib/ghc-5.02.3/imports/HGL /usr/lib/c2hs-0.10.11/ghc5/import /usr/lib/gtk+hs-0.14.8/ghc5/import/glib /usr/lib/gtk+hs-0.14.8/ghc5/import/gdk /usr/lib/gtk+hs-0.14.8/ghc5/import/gtk /usr/lib/gtk2hs/hi /usr/lib/hi Asked for by: HatTrans.hs [Check settings of -I or -P flags?] Stop - hmake dependency error. make[1]: *** [/tmp/hat-2.00/lib/ix86-Linux/hat-trans] Error 1 make[1]: Leaving directory `/tmp/hat-2.00/src/compiler98' make: *** [targets/ix86-Linux/hat-trans-ghc] Error 2 It seems to be looking for the GHC 5.02.3 libraries, but I have GHC 5.04 installed. I know the system requirements say that Hat can't interoperate with 5.04, but does it not work to compile Hat as well? Thanks, Kirsten -- Kirsten Chevalier * krc(a)uclink.berkeley.edu * Often in error, never in doubt

2 1

Bug in hat-trans?
by Magnus Carlsson 28 Aug '02

28 Aug '02

Hello Hatters, I have a problem with the following program: module Bug where f = \ ~(a,b) -> 1 This is what I get: $ hmake -hat -nhc98 Bug.hs hat-trans Bug.hs Wrote TBug.hs nhc98 -c -package hat -o TBug.o TBug.hs ====== Errors after type inference/checking: Type error type clash between Hat.R and Prelude.-> when trying to apply function at 13:7 to its 4th argument at 14:10. This is with Hat 2.00. Cheers, /M

2 1

Problems building Hat on Mac OS X
by Stephen Pitts 15 Aug '02

15 Aug '02

Hi! I'm trying to build hat on Mac OS X 10.1, and the compile bombs with the following error: ghc -package-name hat -package lang -fglasgow-exts -fno-warn-overlapping-patterns -fno-warn-missing-methods -cpp -c -o /usr/local/src/hat-2.00/targets/powerpc- Darwin-5.5/obj/hatlib/ghc/TPreludeBuiltinTypes.o TPreludeBuiltinTypes.hs TPreludeBuiltinTypes.hs:12: failed to load interface for `Hat': Could not find interface file for `Hat' make[1]: *** [/usr/local/src/hat-2.00/targets/powerpc- Darwin-5.5/obj/hatlib/ghc/TPreludeBuiltinTypes.o] Error 1 make: *** [targets/powerpc-Darwin-5.5/hat-lib-ghc] Error 2 I'm using ghc 5.04 and hmake 3.05, and I'd appreciate any assistance. Thanks! -- Stephen Pitts smpitts(a)midsouth.rr.com

2 3

hat error with HUnit: Variable not in scope: `TPrelude.fnegate'
by Shae Matijs Erisson 26 Jul '02

26 Jul '02

I'm using HUnit (http://hunit.sf.net/) I think the snegate, gnegate, and pnegate are type specialized tracing functions. Hat can't find fnegate, and the source before rewriting points to a handle, stdout I think. Or maybe I'm just missing something? Here's the error: shae@thunderbird:..tedHaskell/TwistedHaskell > hmake -ghc -hat -package data -package hat -i/home/shae/src/haskell/libraries -i/home/shae/build/haskell/hat/hat-2.00/src/hat/lib Test_Banana.hs hat-trans /home/shae/src/haskell/libraries/HUnitText.lhs Wrote /home/shae/src/haskell/libraries/THUnitText.hs ghc -package data -package hat -i/home/shae/src/haskell/libraries -i/home/shae/build/haskell/hat/hat-2.00/src/hat/lib -c -package hat -o /home/shae/src/haskell/libraries/THUnitText.o /home/shae/src/haskell/libraries/THUnitText.hs /home/shae/src/haskell/libraries/THUnitText.hs:64: Variable not in scope: `TPrelude.fnegate' zsh: exit 1 hmake -ghc -hat -package data -package hat -i/home/shae/src/haskell/libraries -- Shae Matijs Erisson - http://www.webwitches.com/~shae/ <radix> shapr: I think you *are* a purist :) <radix> shapr: it's just that you're morally against unstable software, instead of morally against MS, or non-free software, or whatnot.

2 1

Problems building hat with ghc-5.04
by Oliver Braun 23 Jul '02

23 Jul '02

When building hat with ghc-5.04 I got the following error: ghc -package-name hat -package lang -fglasgow-exts -fno-warn-overlapping-patterns -fno-warn-missing-methods -cpp -c -o /usr/freebsdcvs/ports/devel/hat/work/hat-2.00/targets/ix86-FreeBSD/obj/hatlib/ghc/TPreludeBasic.o TPreludeBasic.hs /usr/freebsdcvs/ports/devel/hat/work/hat-2.00/script/hat-trans -trusted -prelude PreludeTracing.hs Fail: Cannot parse in .hx file PreludeBasic line (Var "seq",Value {args=-1, fixity=R, priority=0, letBound=True}) gmake[1]: *** [/usr/freebsdcvs/ports/devel/hat/work/hat-2.00/targets/ix86-FreeBSD/obj/hatlib/ghc/TPrelude.o] Error 1 gmake[1]: Leaving directory `/usr/freebsdcvs/ports/devel/hat/work/hat-2.00/src/hat/lib' gmake: *** [targets/ix86-FreeBSD/hat-lib-ghc] Error 2 *** Error code 2 Regards, Olli -- IST & IIS _ INF _ UniBwM _____ http://ist.unibw-muenchen.de/People/obraun/ Tele-Consulting GmbH _________ http://www.tele-consulting.com/ ___ obraun@ FreeBSD: The Power To Serve __ http://www.freebsd.org/ ___________________

2 1