2003-11-26.08:04:05 [BUILD] del random.ghc.exe 2003-11-26.08:04:05 [BUILD] del random.o 2003-11-26.08:04:05 [BUILD] copy random.ghc random.hs 1 file copiati. 2003-11-26.08:04:05 [BUILD] c:\ghc\bin\ghc.exe -O random.hs -o random.ghc.exe 2003-11-26.08:04:25 [BUILD] del random.hs [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 1000 -- OK [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 1000 -- OK [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 1000 -- OK [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 300000 -- OK [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 300000 -- OK [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 300000 -- OK [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 600000 -- OK [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 600000 -- OK [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 600000 -- OK [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 900000 -- OK [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 900000 -- OK [RUN] random.ghc.exe +RTS -K128M -M128M -RTS 900000 -- OK