February 2011 - Glasgow-haskell-users

4221 on new codegen
by Edward Z. Yang 04 Feb '11

04 Feb '11

Test 4221 (under the ffi folder) segfaults with the new codegen turned on. Before: 0xb7a68c78: 0x822fadc <stg_ap_v_info> 0xb7a68c74: 0xb7ab8f94 0xb7a68c70: 0xb7ab8fa4 0xb7a68c6c: 0x8134dc0 <stT_info> 0xb7a68c68: 0xb7ab8f94 0xb7a68c64: 0x822f9f4 <stg_marked_upd_frame_info> 0xb7a68c60: 0xb7ab8f48 0xb7a68c5c: 0xb7ab8f88 0xb7a68c58: 0x4063a000 # this is the counted float; this 0xb7a68c54: 0x0 # val is 157.0 0xb7a68c50: 0x804bbc0 <c1jG_info> After: 0xb7a68c78: 0x822fadc <stg_ap_v_info> 0xb7a68c74: 0xb7ab8f94 0xb7a68c70: 0xb7ab8fa4 0xb7a68c6c: 0x8134dc0 <stT_info> 0xb7a68c68: 0xb7ab8f94 0xb7a68c64: 0x822f9f4 <stg_marked_upd_frame_info> 0xb7a68c60: 0xb7ab8f48 0xb7a68c5c: 0xb7ab8f88 0xb7a68c58: 0x4063a000 0xb7a68c54: 0x0 It then jumps c1jL_entry to which jumps to stg_gc_d1_info which segfaults on return because 0xb7a68c54 is not a valid address. The offending assembly: (gdb) disas Dump of assembler code for function c1jG_info: 0x0804bbc0 <+0>: fldl 0x4(%ebp) 0x0804bbc3 <+3>: fstp %st(1) 0x0804bbc5 <+5>: fstl 0x4(%ebp) 0x0804bbc8 <+8>: add $0x4,%ebp => 0x0804bbcb <+11>: ffree %st(0) 0x0804bbcd <+13>: ffree %st(1) 0x0804bbcf <+15>: ffree %st(2) 0x0804bbd1 <+17>: ffree %st(3) 0x0804bbd3 <+19>: ffree %st(4) 0x0804bbd5 <+21>: ffree %st(5) 0x0804bbd7 <+23>: jmp 0x804bbdc <c1jL_entry> 0x0804bbd9 <+25>: lea 0x0(%esi),%esi Optimized C--: block_c1jG_entry() { [const 484;, const 32;] } c1jG: // emitReturn: Sequel: Assign _s1ev::F64 = F64[Sp + 4]; ; F64[Sp + 4] = _s1ev::F64; Sp = Sp + 4; jump block_c1jL_entry (); } Regardless of whether or not it's right, this is pretty dumb code, so we should fix the codegen not to do that. I'm not sure what this code is /supposed/ to be doing, or what generated it. This bit might be correct and the FFI call leading up to it may be wrong. I have a prodigous amout of difficulty trying to figure out if what's on the stack is right or not: maybe we could have a chat about this. Cheers, Edward Some possible useful raw data: Raw C--: block_c1jh_entry() { [const 484;, const 32;] } c1jh: // emitReturn: Sequel: Assign _s1ev::F64 = F64[Sp + 4]; _s1ev::F64 = _s1ev::F64; F64[Sp + 4] = _s1ev::F64; Sp = Sp + 4; jump block_c1jm_entry (); } after manifest SP {offset c1j0: _s1el::I32 = I32[Sp + 4]; // CmmAssign I32[Sp - 4] = _s1el::I32; // CmmStore _s1ei::I32 = I32[Sp + 0]; // CmmAssign if (Sp - 12 < SpLim) goto u1Am; else goto u1Ao; // CmmCondBranch u1Am: Sp = Sp + 12; // CmmAssign goto c1j7; // CmmBranch c1j7: // outOfLine here R1 = call_fn_blob_rk2_closure; // CmmAssign Sp = Sp - 12; // CmmAssign call (stg_gc_fun)(...) returns to Nothing (12) (0) with update frame 12; // CmmCall u1Ao: Sp = Sp + 12; // CmmAssign goto c1j3; // CmmBranch c1j3: // outOfLine should follow: if (_s1ei::I32 & 3 != 0) goto c1j9; else goto c1j8; // CmmCondBranch c1j9: // emitReturn: Sequel: Assign _s1fO::I32 = _s1ei::I32; // CmmAssign I32[Sp - 20] = _s1fO::I32; // CmmStore goto u1Ai; // CmmBranch u1Ai: Sp = Sp - 20; // CmmAssign goto c1jc; // CmmBranch c1j8: // emitCall: Sequel: Assign R1 = _s1ei::I32; // CmmAssign I32[Sp - 20] = c1iw; // CmmStore Sp = Sp - 20; // CmmAssign call (I32[_s1ei::I32])(...) returns to Just c1iw (4) (4) with update frame 4; // CmmCall c1iw: _s1fO::I32 = R1; // CmmAssign I32[Sp + 0] = _s1fO::I32; // CmmStore Sp = Sp + 4; // CmmAssign goto u1Af; // CmmBranch u1Af: Sp = Sp - 4; // CmmAssign goto c1jc; // CmmBranch c1jc: // outOfLine should follow: _s1fO::I32 = I32[Sp + 0]; // CmmAssign _s1ep::I32 = I32[_s1fO::I32 + 3]; // CmmAssign I32[Sp + 0] = _s1ep::I32; // CmmStore _s1el::I32 = I32[Sp + 4]; // CmmAssign if (_s1el::I32 & 3 != 0) goto c1jf; else goto c1je; // CmmCondBranch c1jf: // emitReturn: Sequel: Assign _s1el::I32 = I32[Sp + 4]; // CmmAssign _s1fP::I32 = _s1el::I32; // CmmAssign I32[Sp - 4] = _s1fP::I32; // CmmStore goto u1Aj; // CmmBranch u1Aj: Sp = Sp - 4; // CmmAssign goto c1jj; // CmmBranch c1je: // emitCall: Sequel: Assign _s1el::I32 = I32[Sp + 4]; // CmmAssign R1 = _s1el::I32; // CmmAssign I32[Sp - 4] = c1iG; // CmmStore _s1el::I32 = I32[Sp + 4]; // CmmAssign Sp = Sp - 4; // CmmAssign call (I32[_s1el::I32])(...) returns to Just c1iG (4) (4) with update frame 4; // CmmCall c1iG: _s1fP::I32 = R1; // CmmAssign I32[Sp + 0] = _s1fP::I32; // CmmStore Sp = Sp + 4; // CmmAssign goto u1Ag; // CmmBranch u1Ag: Sp = Sp - 4; // CmmAssign goto c1jj; // CmmBranch c1jj: // outOfLine should follow: _s1fP::I32 = I32[Sp + 0]; // CmmAssign _s1eq::F64 = F64[_s1fP::I32 + 3]; // CmmAssign I32[Sp + 0] = c1jh; // CmmStore _s1ep::I32 = I32[Sp + 4]; // CmmAssign foreign call "ccall" arg hints: [PtrHint,] result hints: [] call_fn_blob(...) returns to c1jh args: ([_s1ep::I32, _s1eq::F64]) ress: ([_s1ev::F64]) with update frame 4; // CmmForeignCall c1jh: // emitReturn: Sequel: Assign _s1ev::F64 = F64[Sp + 4]; // CmmAssign _s1ev::F64 = _s1ev::F64; // CmmAssign F64[Sp + 4] = _s1ev::F64; // CmmStore Sp = Sp + 4; // CmmAssign goto u1Ak; // CmmBranch u1Ak: goto c1jm; // CmmBranch c1jm: Hp = Hp + 12; // CmmAssign if (Hp > HpLim) goto c1jn; else goto c1jl; // CmmCondBranch c1jn: HpAlloc = 12; // CmmAssign // outOfLine here _s1ev::F64 = F64[Sp + 0]; // CmmAssign F64[Sp - 4] = _s1ev::F64; // CmmStore I32[Sp + 4] = c1iT; // CmmStore Sp = Sp - 4; // CmmAssign call stg_gc_d1(...) returns to Just c1iT (12) (12) with update frame 4; // CmmCall c1iT: _s1ev::F64 = F64[Sp + 0]; // CmmAssign F64[Sp + 4] = _s1ev::F64; // CmmStore Sp = Sp + 12; // CmmAssign goto u1Ah; // CmmBranch u1Ah: Sp = Sp - 8; // CmmAssign goto c1jm; // CmmBranch c1jl: // outOfLine should follow: // allocDynClosure I32[Hp - 8] = GHC.Types.D#_con_info; // CmmStore _s1ev::F64 = F64[Sp + 0]; // CmmAssign F64[Hp - 4] = _s1ev::F64; // CmmStore _c1iZ::I32 = Hp - 8; // CmmAssign // emitReturn: Sequel: Return R1 = _c1iZ::I32 + 1; // CmmAssign Sp = Sp + 16; // CmmAssign call (I32[Sp + 0])(...) returns to Nothing (4) (0) with update frame 4; // CmmCall } post dead assignment elimination {offset c1j0: _s1el::I32 = I32[(old + 8)]; // CmmAssign I32[(slot<_s1el::I32> + 4)] = _s1el::I32; // CmmStore _s1ei::I32 = I32[(old + 12)]; // CmmAssign if (Sp - <highSp> < SpLim) goto c1j7; else goto c1j3; // CmmCondBranch c1j7: // outOfLine here R1 = call_fn_blob_rk2_closure; // CmmAssign call (stg_gc_fun)(...) returns to Nothing (12) (0) with update frame 12; // CmmCall c1j3: // outOfLine should follow: if (_s1ei::I32 & 3 != 0) goto c1j9; else goto c1j8; // CmmCondBranch c1j9: // emitReturn: Sequel: Assign _s1fO::I32 = _s1ei::I32; // CmmAssign I32[(slot<_s1fO::I32> + 4)] = _s1fO::I32; // CmmStore goto u1Ai; // CmmBranch u1Ai: goto c1jc; // CmmBranch c1j8: // emitCall: Sequel: Assign R1 = _s1ei::I32; // CmmAssign I32[(young<c1iw> + 4)] = c1iw; // CmmStore call (I32[_s1ei::I32])(...) returns to Just c1iw (4) (4) with update frame 4; // CmmCall c1iw: _s1fO::I32 = R1; // CmmAssign I32[(slot<_s1fO::I32> + 4)] = _s1fO::I32; // CmmStore goto u1Af; // CmmBranch u1Af: goto c1jc; // CmmBranch c1jc: // outOfLine should follow: _s1fO::I32 = I32[(slot<_s1fO::I32> + 4)]; // CmmAssign _s1ep::I32 = I32[_s1fO::I32 + 3]; // CmmAssign I32[(slot<_s1ep::I32> + 4)] = _s1ep::I32; // CmmStore _s1el::I32 = I32[(slot<_s1el::I32> + 4)]; // CmmAssign if (_s1el::I32 & 3 != 0) goto c1jf; else goto c1je; // CmmCondBranch c1jf: // emitReturn: Sequel: Assign _s1el::I32 = I32[(slot<_s1el::I32> + 4)]; // CmmAssign _s1fP::I32 = _s1el::I32; // CmmAssign I32[(slot<_s1fP::I32> + 4)] = _s1fP::I32; // CmmStore goto u1Aj; // CmmBranch u1Aj: goto c1jj; // CmmBranch c1je: // emitCall: Sequel: Assign _s1el::I32 = I32[(slot<_s1el::I32> + 4)]; // CmmAssign R1 = _s1el::I32; // CmmAssign I32[(young<c1iG> + 4)] = c1iG; // CmmStore _s1el::I32 = I32[(slot<_s1el::I32> + 4)]; // CmmAssign call (I32[_s1el::I32])(...) returns to Just c1iG (4) (4) with update frame 4; // CmmCall c1iG: _s1fP::I32 = R1; // CmmAssign I32[(slot<_s1fP::I32> + 4)] = _s1fP::I32; // CmmStore goto u1Ag; // CmmBranch u1Ag: goto c1jj; // CmmBranch c1jj: // outOfLine should follow: _s1fP::I32 = I32[(slot<_s1fP::I32> + 4)]; // CmmAssign _s1eq::F64 = F64[_s1fP::I32 + 3]; // CmmAssign I32[(young<c1jh> + 4)] = c1jh; // CmmStore _s1ep::I32 = I32[(slot<_s1ep::I32> + 4)]; // CmmAssign foreign call "ccall" arg hints: [PtrHint,] result hints: [] call_fn_blob(...) returns to c1jh args: ([_s1ep::I32, _s1eq::F64]) ress: ([_s1ev::F64]) with update frame 4; // CmmForeignCall c1jh: // emitReturn: Sequel: Assign _s1ev::F64 = F64[(slot<_s1ev::F64> + 8)]; // CmmAssign _s1ev::F64 = _s1ev::F64; // CmmAssign F64[(slot<_s1ev::F64> + 8)] = _s1ev::F64; // CmmStore goto u1Ak; // CmmBranch u1Ak: goto c1jm; // CmmBranch c1jm: Hp = Hp + 12; // CmmAssign if (Hp > HpLim) goto c1jn; else goto c1jl; // CmmCondBranch c1jn: HpAlloc = 12; // CmmAssign // outOfLine here _s1ev::F64 = F64[(slot<_s1ev::F64> + 8)]; // CmmAssign F64[(young<c1iT> + 12)] = _s1ev::F64; // CmmStore I32[(young<c1iT> + 4)] = c1iT; // CmmStore call stg_gc_d1(...) returns to Just c1iT (12) (12) with update frame 4; // CmmCall c1iT: _s1ev::F64 = F64[(young<c1iT> + 12)]; // CmmAssign F64[(slot<_s1ev::F64> + 8)] = _s1ev::F64; // CmmStore goto u1Ah; // CmmBranch u1Ah: goto c1jm; // CmmBranch c1jl: // outOfLine should follow: // allocDynClosure I32[Hp - 8] = GHC.Types.D#_con_info; // CmmStore _s1ev::F64 = F64[(slot<_s1ev::F64> + 8)]; // CmmAssign F64[Hp - 4] = _s1ev::F64; // CmmStore _c1iZ::I32 = Hp - 8; // CmmAssign // emitReturn: Sequel: Return R1 = _c1iZ::I32 + 1; // CmmAssign call (I32[(old + 4)])(...) returns to Nothing (4) (0) with update frame 4; // CmmCall }

4 13

Re: [Haskell-cafe] How to #include into .lhs files?
by Max Bolingbroke 04 Feb '11

04 Feb '11

On 4 February 2011 05:03, Michael Snoyman <michael(a)snoyman.com> wrote: > My guess (a complete guess) is that the deliterate step is creating a > temporary .hs file elsewhere on your filesystem, which is why the CPP > step can't find B.hs without a fully-qualified path. That is what is happening (you can confirm with "ghc -v"). Interestingly, you can work around by compiling with -I. on the command line: {{{ mbolingbroke@equinox ~/Junk/lhscpp $ cat Test.lhs Included.h > {-# LANGUAGE CPP #-} > module Main (main) where #include "MachDeps.h" #include "Included.h" > main :: IO () > main = print MY_CONSTANT #define MY_CONSTANT 2 mbolingbroke@equinox ~/Junk/lhscpp $ ./Test 2 }}} Perhaps worth filing a bug report? Cheers Max

1 0

How to #include into .lhs files?
by Conal Elliott 03 Feb '11

03 Feb '11

Does anyone have a working example of #include'ing Haskell code into a bird-tracks-style .lhs file with GHC? Every way I try leads to parsing errors. Is there documentation about how it's supposed to work? Help much appreciated. - Conal

2 2

GHCi+Cairo, Windows
by Alexey Shumitsky 03 Feb '11

03 Feb '11

Hi, I have problem with ghci+cairo on windows. When I try to load, for example like this "ghci -package cairo" it fails with the following error: Loading package random-1.0.0.2 ... linking ... done. Loading package haskell98 ... linking ... done. Loading package syb-0.1.0.2 ... linking ... done. Loading package base-3.0.3.2 ... linking ... done. Loading package mtl-1.1.0.2 ... linking ... done. : C:\Users\alexeys\AppData\Roaming\cabal\cairo-0.12.0\ghc-6.12.3\HScairo-0.12.0.o: unknown symbol `_cairo_surface_destroy' Loading package cairo-0.12.0 ... linking ... : unable to load package `cairo-0.12.0' Even simplest programs don't work in interactive mode, like for example 'Text.hs' that comes with cairo package. However compiled with 'ghc --make' everything works as expected, so its not a "missing dll" problem - everything is in place. I used 'filemon' on "ghci" and in the log I can see that 'libcairo-2.dll' was found and loaded successfully (and this library has '_cairo_surface_destroy' symbol defined). So I don't understand - what more does it want and what can be done to combat it?

2 2

Re: Kernel panic when building HEAD on OS X 10.6.4
by Johan Tibell 03 Feb '11

03 Feb '11

On Mon, Jan 31, 2011 at 4:33 AM, Manuel M T Chakravarty <mchakravarty(a)mac.com> wrote: > Are you building inside a Parallels VM? If so, it is probably a Parallels bug (which also explain why compiling GHC can lead to a kernel panic). > > If the GHC build is not in a Parallels VM, I would suggest to shut down Parallels and try again. If the problem does not occur without Parallels running, it's probably a bug in some of Parallel's virtualisation infrastructure. I'm not running in a VM. I shut down parallels and also unloaded its kernel extensions by running: sudo launchctl stop com.parallels.vm.prl_naptd sudo launchctl stop com.parallels.desktop.launchdaemon sudo kextunload -b com.parallels.kext.prl_hypervisor sudo kextunload -b com.parallels.kext.prl_hid_hook sudo kextunload -b com.parallels.kext.prl_usb_connect sudo kextunload -b com.parallels.kext.prl_netbridge sudo kextunload -b com.parallels.kext.prl_vnic It still panics. Here's the crash log without the parallels extensions: ===== Interval Since Last Panic Report: 109637 sec Panics Since Last Report: 3 Anonymous UUID: 32C0D5F6-F2B2-4DB3-A784-F4B33799DE63 Mon Jan 31 09:42:12 2011 panic(cpu 1 caller 0x2a8ab2): Kernel trap at 0x0046d801, type 14=page fault, registers: CR0: 0x8001003b, CR2: 0x00000018, CR3: 0x00100000, CR4: 0x00000660 EAX: 0x08014cb4, EBX: 0x08014cb4, ECX: 0x09af4304, EDX: 0x00000000 CR2: 0x00000018, EBP: 0x56b9be68, ESI: 0x09af4304, EDI: 0x0728c7e0 EFL: 0x00010297, EIP: 0x0046d801, CS: 0x00000008, DS: 0x072d0010 Error code: 0x00000000 Backtrace (CPU 1), Frame : Return Address (4 potential args on stack) 0x56b9bc88 : 0x21b455 (0x5cf328 0x56b9bcbc 0x2238b1 0x0) 0x56b9bcd8 : 0x2a8ab2 (0x591664 0x46d801 0xe 0x59182e) 0x56b9bdb8 : 0x29e9a8 (0x56b9bdd0 0x90853d4 0x56b9be68 0x46d801) 0x56b9bdc8 : 0x46d801 (0xe 0x48 0x56b90010 0x72d0010) 0x56b9be68 : 0x49cf8c (0x8014cb4 0x9af4304 0x56b9bebc 0x0) 0x56b9be88 : 0x46ec97 (0x9af4304 0x0 0x1da230 0x18) 0x56b9bed8 : 0x4933de (0x72da9e0 0x12baec80 0x0 0x0) 0x56b9bf78 : 0x4ed78d (0x9a157e0 0x87ae7c0 0x87ae804 0x0) 0x56b9bfc8 : 0x29eef8 (0x8957060 0x0 0x10 0x8954fc0) BSD process name corresponding to current thread: ghc-stage2 Mac OS version: 10F569 Kernel version: Darwin Kernel Version 10.4.0: Fri Apr 23 18:28:53 PDT 2010; root:xnu-1504.7.4~1/RELEASE_I386 System model name: MacBookPro7,1 (Mac-F222BEC8) System uptime in nanoseconds: 429843412257 unloaded kexts: com.parallels.kext.prl_usb_connect 6.0 11828.615184 (addr 0x5807e000, size 0x24576) - last unloaded 317902627354 loaded kexts: com.pgp.kext.PGPnke 1.1.0 - last loaded 64160566115 com.sophos.kext.sav 7.2.0 com.pgp.iokit.PGPwdeDriver 1.2.0d1 com.apple.driver.AppleHWSensor 1.9.3d0 com.apple.filesystems.autofs 2.1.0 com.apple.driver.AGPM 100.12.12 com.apple.driver.AudioAUUC 1.4 com.apple.Dont_Steal_Mac_OS_X 7.0.0 com.apple.iokit.CHUDUtils 364 com.apple.driver.AppleMikeyHIDDriver 1.2.0 com.apple.iokit.CHUDProf 364 com.apple.driver.AppleMikeyDriver 1.8.7f1 com.apple.driver.AppleIntelPenrynProfile 17.1 com.apple.driver.AppleHDA 1.8.7f1 com.apple.driver.AppleUpstreamUserClient 3.3.2 com.apple.driver.AudioIPCDriver 1.1.2 com.apple.driver.AppleLPC 1.4.12 com.apple.driver.AppleBacklight 170.0.24 com.apple.driver.SMCMotionSensor 3.0.0d4 com.apple.iokit.AppleBCM5701Ethernet 2.3.9b3 com.apple.driver.ACPI_SMC_PlatformPlugin 4.1.2b1 com.apple.GeForce 6.1.8 com.apple.driver.AirPortBrcm43224 425.16.2 com.apple.kext.AppleSMCLMU 1.5.0d3 com.apple.driver.AppleUSBTCButtons 1.8.1b1 com.apple.driver.AppleIRController 303.8 com.apple.driver.AppleUSBTCKeyboard 1.8.1b1 com.apple.driver.AppleUSBCardReader 2.5.4 com.apple.iokit.SCSITaskUserClient 2.6.5 com.apple.iokit.IOAHCIBlockStorage 1.6.2 com.apple.driver.AppleUSBHub 4.0.0 com.apple.driver.AppleUSBEHCI 4.0.2 com.apple.BootCache 31 com.apple.AppleFSCompression.AppleFSCompressionTypeZlib 1.0.0d1 com.apple.driver.AppleUSBOHCI 3.9.6 com.apple.driver.AppleFWOHCI 4.7.1 com.apple.driver.AppleAHCIPort 2.1.2 com.apple.driver.AppleEFINVRAM 1.3.0 com.apple.driver.AppleRTC 1.3.1 com.apple.driver.AppleHPET 1.5 com.apple.driver.AppleSmartBatteryManager 160.0.0 com.apple.driver.AppleACPIButtons 1.3.2 com.apple.driver.AppleSMBIOS 1.6 com.apple.driver.AppleACPIEC 1.3.2 com.apple.driver.AppleAPIC 1.4 com.apple.driver.AppleIntelCPUPowerManagementClient 105.10.0 com.apple.security.sandbox 0 com.apple.security.quarantine 0 com.apple.nke.applicationfirewall 2.1.11 com.apple.driver.AppleIntelCPUPowerManagement 105.10.0 com.apple.driver.AppleProfileReadCounterAction 17 com.apple.driver.AppleProfileTimestampAction 10 com.apple.driver.AppleProfileThreadInfoAction 14 com.apple.driver.AppleProfileRegisterStateAction 10 com.apple.driver.AppleProfileKEventAction 10 com.apple.driver.AppleProfileCallstackAction 20 com.apple.iokit.IOSurface 74.0 com.apple.iokit.IOBluetoothSerialManager 2.3.7f1 com.apple.iokit.IOSerialFamily 10.0.3 com.apple.iokit.CHUDKernLib 365 com.apple.driver.DspFuncLib 1.8.7f1 com.apple.driver.AppleSMBusController 1.0.8d0 com.apple.iokit.IOAudioFamily 1.7.6fc2 com.apple.kext.OSvKernDSPLib 1.3 com.apple.driver.AppleHDAController 1.8.7f1 com.apple.iokit.IOHDAFamily 1.8.7f1 com.apple.driver.NVSMU 2.2.7 com.apple.driver.IOPlatformPluginFamily 4.1.2b1 com.apple.driver.AppleSMBusPCI 1.0.8d0 com.apple.nvidia.nv50hal 6.1.8 com.apple.iokit.AppleProfileFamily 41.4 com.apple.NVDAResman 6.1.8 com.apple.iokit.IONDRVSupport 2.1 com.apple.iokit.IO80211Family 311.1 com.apple.iokit.IOFireWireIP 2.0.3 com.apple.iokit.IONetworkingFamily 1.9 com.apple.driver.AppleSMC 3.0.1d2 com.apple.iokit.IOGraphicsFamily 2.1 com.apple.driver.BroadcomUSBBluetoothHCIController 2.3.7f1 com.apple.driver.AppleUSBBluetoothHCIController 2.3.7f1 com.apple.iokit.IOBluetoothFamily 2.3.7f1 com.apple.driver.AppleUSBMultitouch 205.32 com.apple.iokit.IOUSBHIDDriver 4.0.2 com.apple.driver.XsanFilter 402.1 com.apple.iokit.IOUSBMassStorageClass 2.6.1 com.apple.iokit.IOSCSIBlockCommandsDevice 2.6.5 com.apple.driver.AppleUSBMergeNub 4.0.0 com.apple.driver.AppleUSBComposite 3.9.0 com.apple.iokit.IOSCSIMultimediaCommandsDevice 2.6.5 com.apple.iokit.IOBDStorageFamily 1.6 com.apple.iokit.IODVDStorageFamily 1.6 com.apple.iokit.IOCDStorageFamily 1.6 com.apple.iokit.IOAHCISerialATAPI 1.2.4 com.apple.iokit.IOSCSIArchitectureModelFamily 2.6.5 com.apple.iokit.IOUSBUserClient 4.0.0 com.apple.iokit.IOUSBFamily 4.0.2 com.apple.iokit.IOFireWireFamily 4.2.6 com.apple.iokit.IOAHCIFamily 2.0.4 com.apple.driver.AppleEFIRuntime 1.3.0 com.apple.iokit.IOHIDFamily 1.6.5 com.apple.iokit.IOSMBusFamily 1.1 com.apple.security.TMSafetyNet 6 com.apple.kext.AppleMatch 1.0.0d1 com.apple.driver.DiskImages 283 com.apple.iokit.IOStorageFamily 1.6.1 com.apple.driver.AppleACPIPlatform 1.3.2 com.apple.iokit.IOPCIFamily 2.6 com.apple.iokit.IOACPIFamily 1.3.0 Model: MacBookPro7,1, BootROM MBP71.0039.B05, 2 processors, Intel Core 2 Duo, 2.66 GHz, 4 GB, SMC 1.62f6 Graphics: NVIDIA GeForce 320M, NVIDIA GeForce 320M, PCI, 256 MB Memory Module: global_name AirPort: spairport_wireless_card_type_airport_extreme (0x14E4, 0x8D), Broadcom BCM43xx 1.0 (5.10.131.16.1) Bluetooth: Version 2.3.7f1, 2 service, 12 devices, 1 incoming serial ports Network Service: AirPort, AirPort, en1 Serial ATA Device: APPLE SSD TS128B, 113 GB Serial ATA Device: MATSHITADVD-R UJ-898 USB Device: Internal Memory Card Reader, 0x05ac (Apple Inc.), 0x8403, 0x26100000 USB Device: Built-in iSight, 0x05ac (Apple Inc.), 0x8507, 0x24600000 USB Device: BRCM2046 Hub, 0x0a5c (Broadcom Corp.), 0x4500, 0x06600000 USB Device: Bluetooth USB Host Controller, 0x05ac (Apple Inc.), 0x8213, 0x06610000 USB Device: IR Receiver, 0x05ac (Apple Inc.), 0x8242, 0x06500000 USB Device: Apple Internal Keyboard / Trackpad, 0x05ac (Apple Inc.), 0x0236, 0x06300000 ===== > If it also happens without Parallels running, the suggestion to check your RAM sounds like good advice. The (OS X modified version of) memtest86 reports no problems. Johan

2 3

Type system compiler flags
by Carsten Schultz 01 Feb '11

01 Feb '11

Hello everyone, I am trying to compile some code that I have written a long time ago (might have been for ghc 6.3), and I have not done much Haskell in the meantime. I have trouble compiling the code, maybe only because I do not remember the necessary flags (yes, these should be in the source files), maybe because ghc has changed. I do for example have functions like this: getnArray :: Int -> [Word8] -> Maybe (UArray Int Word8, [Word8]) getnArrayST :: Int -> [Word8] -> (forall s . ST s (Maybe (UArray Int Word8, [Word8]))) getnArrayST n bs :: ST s (Maybe (UArray Int Word8, [Word8])) = do (a :: STUArray s Int Word8) <- newArray_ (0,n-1) let loop k bs | k == n = do fa <- freeze a return $ Just (fa, bs) | k < n = case bs of (b:bs) -> do writeArray a k b loop (k+1) bs [] -> return Nothing loop 0 bs getnArray n bs = runST (getnArrayST n bs) Can someone suggest compiler flags which will make this compile with 6.8 and 6.12? I have tried -XRankNTypes -XScopedTypeVariables -fglasgow-exts but still get "Parse error in pattern" for the definition of getnArrayST. Thanks for helping. As soon as I have overcome this problem, the real fun will begin, because my program uses Template Haskell ;) Carsten

3 5

Bug in undecidable instances?
by Roman Cheplyaka 01 Feb '11

01 Feb '11

The following looks like a bug in (undecidable) instances resolution. {-# LANGUAGE MultiParamTypeClasses,FlexibleInstances,UndecidableInstances, OverlappingInstances,IncoherentInstances #-} class C a b instance C a (a,b) class D a b instance (D a b, C b c) => D a c data Foo = Foo deriving Show data Bar = Bar deriving Show instance D Foo Foo c :: C x y => x -> y -> () c _ _ = () d :: D x y => x -> y -> () d _ _ = () *Main> d Foo Foo () -- as expected *Main> c Foo (Foo,Bar) () -- as expected *Main> d Foo (Foo,Bar) <interactive>:1:1: Context reduction stack overflow; size = 21 Use -fcontext-stack=N to increase stack size to N [skip] $dD :: D Foo b1 $dD :: D Foo b $dD :: D Foo (Foo, Bar) In the expression: d Foo (Foo, Bar) In an equation for `it': it = d Foo (Foo, Bar) I.e. for some reason on the second step resolver fails to pick up the most specific (and the most obvious) instance D Foo Foo and continues to apply the instance (D a b, C b c) => D a c. Reproduced with GHC 6.12.1 and 7.0.1. -- Roman I. Cheplyaka :: http://ro-che.info/ Don't worry what people think, they don't do it very often.

3 2

Re: building ghc-7.1.20110125 under Mac OS X
by John Lato 01 Feb '11

01 Feb '11

> > Subject: building ghc-7.1.20110125 under Mac OS X > > hi list. > > i have to build ghc-7.1.20110125 under mac os x, so i grabbed the stable > snapshot. Everything builds fine but the resulting compiler has problems > with ld. It passes gcc flags to ld like "-march=-i686". Any ideas? > > BTW while still here. Are there any specific docs available on building > 64-bit mac os x compiler? > Hi Pavel, I'm not aware of any specific docs for building 64-bit on os x, but I didn't have any difficulty last time I tried. The key point is you need a 64-bit bootstrap compiler (probably until http://hackage.haskell.org/trac/ghc/ticket/3472 is fixed), however there are binary distributions of ghc you can use for this. After you install a 64-bit binary, go to the ghc src and do ./configure --with-ghc=/path/to/ghc64bin/ && make and it should work. N.B. don't install 32-bit and 64-bit versions of the same ghc, because the libraries will clobber each other. If you want to have this, change the version before you install the second arch. Cheers, John

2 1

panic parsing a stmt in ghc 7 (possible regression?)
by Daniel Gorín 01 Feb '11

01 Feb '11

Hi I'm trying to make the hint library work also with ghc 7 and I'm having problems with some test-cases that are now raising exceptions. I've been able to reduce the problem to a small example. The program below runs ghc in interpreter-mode and attempts to parse an statement using ghc's parseStmt function; the particular statement is a let-expression with a \n in the middle. The observed behaviour is: > $ ghc-6.12.1 -fforce-recomp --make -package ghc -cpp -Wall d.hs && ./d > [1 of 1] Compiling Main ( d.hs, d.o ) > Linking d ... > let {e = let x = () > in x ;} in e > Ok > $ ghc-7.0.1 -fforce-recomp --make -package ghc -cpp -Wall d.hs && ./d > [1 of 1] Compiling Main ( d.hs, d.o ) > Linking d ... > let {e = let x = () > in x ;} in e > d: d: panic! (the 'impossible' happened) > (GHC version 7.0.1 for i386-apple-darwin): > srcLocCol <no location info> > > Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Is it a regression or should I be doing this some other way? Thanks, Daniel -- d.hs import qualified GHC import qualified MonadUtils as GHC ( liftIO ) import qualified StringBuffer as GHC import qualified Lexer as GHC import qualified Parser as GHC import qualified GHC.Paths main :: IO () main = GHC.runGhcT (Just GHC.Paths.libdir) $ do -- initialize df0 <- GHC.getSessionDynFlags _ <- GHC.setSessionDynFlags df0{GHC.ghcMode = GHC.CompManager, GHC.hscTarget = GHC.HscInterpreted, GHC.ghcLink = GHC.LinkInMemory, GHC.verbosity = 0} df1 <- GHC.getSessionDynFlags -- runParser let expr = "let {e = let x = ()\nin x ;} in e" GHC.liftIO $ putStrLn expr buf <- GHC.liftIO $ GHC.stringToStringBuffer expr let p_res = GHC.unP GHC.parseStmt (mkPState df1 buf GHC.noSrcLoc) case p_res of GHC.POk{} -> GHC.liftIO $ putStrLn "Ok" GHC.PFailed{} -> GHC.liftIO $ putStrLn "Failed" where #if __GLASGOW_HASKELL__ >= 700 mkPState = GHC.mkPState #else mkPState = \a b c -> GHC.mkPState b c a #endif

2 1

building ghc-7.1.20110125 under Mac OS X
by Pavel Perikov 01 Feb '11

01 Feb '11

hi list. i have to build ghc-7.1.20110125 under mac os x, so i grabbed the stable snapshot. Everything builds fine but the resulting compiler has problems with ld. It passes gcc flags to ld like "-march=-i686". Any ideas? BTW while still here. Are there any specific docs available on building 64-bit mac os x compiler? regards pavel

2 1