March 2013 - ghc-tickets

[GHC] #7769: Enable Opt_PIC for the dyn way regardless of OSes
by GHC 16 Mar '13

16 Mar '13

#7769: Enable Opt_PIC for the dyn way regardless of OSes --------------------------------+------------------------------------------- Reporter: PHO | Owner: Type: bug | Status: new Priority: normal | Component: Driver Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Building GHC failed | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- [http://www.haskell.org/pipermail/ghc-devs/2013-March/000715.html From: Kazu Yamamoto] {{{ When I build GHC head on FreeBSD, I got the following error. Is newSpark missing on FreeBSD? "inplace/bin/ghc-stage1" -fPIC -dynamic -H32m -O -package-name ghc- prim-0.3.1.0 -hide-all-packages -i -ilibraries/ghc-prim/. -ilibraries/ghc- prim/dist-install/build -ilibraries/ghc-prim/dist-install/build/autogen -Ilibraries/ghc-prim/dist-install/build -Ilibraries/ghc-prim/dist- install/build/autogen -Ilibraries/ghc-prim/. -optP-include -optPlibraries/ghc-prim/dist-install/build/autogen/cabal_macros.h -package rts-1.0 -package-name ghc-prim -XHaskell98 -XCPP -XMagicHash -XForeignFunctionInterface -XUnliftedFFITypes -XUnboxedTuples -XEmptyDataDecls -XNoImplicitPrelude -O2 -no-user-package-db -rtsopts -odir libraries/ghc-prim/dist-install/build -hidir libraries/ghc-prim /dist-install/build -stubdir libraries/ghc-prim/dist-install/build -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc libraries/ghc-prim/dist- install/build/GHC/Classes.dyn_o libraries/ghc-prim/dist- install/build/GHC/CString.dyn_o libraries/ghc-prim/dist- install/build/GHC/Debug.dyn_o libraries/ghc-prim/dist- install/build/GHC/Magic.dyn_o libraries/ghc-prim/dist- install/build/GHC/PrimopWrappers.dyn_o libraries/ghc-prim/dist- install/build/GHC/IntWord64.dyn_o libraries/ghc-prim/dist- install/build/GHC/Tuple.dyn_o libraries/ghc-prim/dist- install/build/GHC/Types.dyn_o libraries/ghc-prim/dist- install/build/cbits/debug.dyn_o libraries/ghc-prim/dist- install/build/cbits/longlong.dyn_o libraries/ghc-prim/dist- install/build/cbits/popcnt.dyn_o libraries/ghc-prim/dist- install/build/cbits/word2float.dyn_o -shared -dynamic -dynload deploy -no-auto-link-packages -o libraries/ghc-prim/dist-install/build/libHSghc- prim-0.3.1.0-ghc7.7.20130312.so Warning: -rtsopts and -with-rtsopts have no effect with -shared. Call hs_init_ghc() from your main() function to set these options. /usr/local/bin/ld: libraries/ghc-prim/dist- install/build/GHC/PrimopWrappers.dyn_o: relocation R_X86_64_PC32 against undefined symbol `newSpark' can not be used when making a shared object; recompile with -fPIC /usr/local/bin/ld: final link failed: Bad value collect2: error: ld returned 1 exit status gmake[1]: *** [libraries/ghc-prim/dist-install/build/libHSghc- prim-0.3.1.0-ghc7.7.20130312.so] Error 1 gmake: *** [all] Error 2 }}} [http://www.haskell.org/pipermail/ghc-devs/2013-March/000744.html From: PHO] {{{ The same error occurs on NetBSD/amd64. PrimopWrappers.dyn_o has a direct reference to newSpark but since it resides in the rts, not ghc-prim, such references must be redirected through PLT. The problem is that every *.dyn_o, not only PrimopWrappers.dyn_o, is compiled without -fPIC for OSes other than Windows, Darwin and Linux. I have no idea why -fPIC isn't enabled for all OSes in the first place, but the attached patch works at least for me. }}} [http://www.haskell.org/pipermail/ghc-devs/2013-March/000748.html From: Kazu Yamamoto] {{{ Thanks. This patch also solves the problem in my environment. Would you create a ticket and attach your patch? > PHO }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7769> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #7770: Remove a bitrotted hack for OpenBSD and NetBSD regarding the dyn way
by GHC 16 Mar '13

16 Mar '13

#7770: Remove a bitrotted hack for OpenBSD and NetBSD regarding the dyn way --------------------------------+------------------------------------------- Reporter: PHO | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Building GHC failed | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- On OpenBSD and NetBSD, we were accidentally passing ``-optl-pthread`` to the gcc to build dynamic libraries because of a bitrotted hack for those OSes, which resulted in a weird situation where every dynamic library is named "ptl-pthread" and placed at ``$(TOP)``. The hack in question were to work around a linkage problem with libHSffi, but we no longer build it and just use libffi these days so the hack can safely be removed. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7770> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #6063: GHC's build-time ld-flag checks are problematic
by GHC 16 Mar '13

16 Mar '13

#6063: GHC's build-time ld-flag checks are problematic ---------------------------------+------------------------------------------ Reporter: parcs | Owner: thoughtpolice Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: | Os: Linux Architecture: Unknown/Multiple | Failure: GHC doesn't work at all Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #4862 | ---------------------------------+------------------------------------------ Changes (by thoughtpolice): * owner: => thoughtpolice Comment: I'll take this over since I've had some complaints from friends about it (and have hit it myself in the past.) I'll measure any compile time differences, but I imagine checking if the argument is supported through an extra invocation is negligible compared to the actual linking time. On windows, process creation can be expensive, but we'll only be using ld here anyway so we can short-cut it. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6063#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4001: Implement an atomic readMVar
by GHC 16 Mar '13

16 Mar '13

#4001: Implement an atomic readMVar -------------------------------------------+-------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: low | Milestone: 7.6.2 Component: Runtime System | Version: 6.12.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Moderate (less than a day) | Testcase: Blockedby: | Blocking: Related: | -------------------------------------------+-------------------------------- Changes (by lpsmith): * cc: leon.p.smith@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4001#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7359: unix-2.6.0.0 fails to install on mac os x with 7.4.* (works with 7.6.1)
by GHC 16 Mar '13

16 Mar '13

#7359: unix-2.6.0.0 fails to install on mac os x with 7.4.* (works with 7.6.1) -------------------------------+-------------------------------------------- Reporter: AndreasVoellmy | Owner: igloo Type: bug | Status: new Priority: highest | Milestone: 7.6.3 Component: libraries/unix | Version: 7.4.1 Keywords: unix package | Os: MacOS X Architecture: x86_64 (amd64) | Failure: Other Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | -------------------------------+-------------------------------------------- Changes (by ekmett): * cc: ekmett@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7359#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7772: Finish support for DYNAMIC_GHC_PROGRAMS on Windows
by GHC 15 Mar '13

15 Mar '13

#7772: Finish support for DYNAMIC_GHC_PROGRAMS on Windows ---------------------------------+------------------------------------------ Reporter: igloo | Owner: igloo Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Finish support for `DYNAMIC_GHC_PROGRAMS` on Windows. {{{ #include <stdarg.h> #include <stdio.h> #include <Windows.h> #include <Shlwapi.h> #include "Rts.h" LPTSTR path_dirs[] = { TEXT("libraries/haskeline/dist-install/build"), TEXT("compiler/stage2/build"), TEXT("ghc/stage2/build/tmp"), TEXT("libraries/transformers/dist-install/build"), TEXT("libraries/template-haskell/dist-install/build"), TEXT("libraries/hpc/dist-install/build"), TEXT("libraries/hoopl/dist-install/build"), TEXT("libraries/bin-package-db/dist-install/build"), TEXT("libraries/binary/dist-install/build"), TEXT("libraries/Cabal/Cabal/dist-install/build"), TEXT("libraries/process/dist-install/build"), TEXT("libraries/pretty/dist-install/build"), TEXT("libraries/directory/dist-install/build"), TEXT("libraries/time/dist-install/build"), TEXT("libraries/old-locale/dist-install/build"), TEXT("libraries/filepath/dist-install/build"), TEXT("libraries/Win32/dist-install/build"), TEXT("libraries/containers/dist-install/build"), TEXT("libraries/bytestring/dist-install/build"), TEXT("libraries/deepseq/dist-install/build"), TEXT("libraries/array/dist-install/build"), TEXT("libraries/base/dist-install/build"), TEXT("libraries/integer-gmp/dist-install/build"), TEXT("libraries/ghc-prim/dist-install/build"), TEXT("rts/dist/build"), NULL }; void die(char *fmt, ...) { va_list argp; fprintf(stderr, "error: "); va_start(argp, fmt); vfprintf(stderr, fmt, argp); va_end(argp); fprintf(stderr, "\n"); exit(1); } void setPath(void) { LPTSTR *dir; LPTSTR path; int n; int len = 0; LPTSTR exePath, s; HMODULE hExe; hExe = GetModuleHandle(NULL); if (hExe == NULL) { die("GetModuleHandle failed"); } exePath = malloc(10000); // XXX GetModuleFileName(hExe, exePath, 10000); // XXX for(s = exePath; *s != '\0'; s++) { if (*s == '\\') { *s = '/'; } } s = StrRChr(exePath, NULL, '/'); if (s == NULL) { die("No directory separator in executable path: %s", exePath); } s[0] = '\0'; n = s - exePath; for (dir = path_dirs; *dir != NULL; dir++) { len += n + 7/* /../../ */ + lstrlen(*dir) + 1/* semicolon */; } len++; // NUL path = malloc(10000); // XXX s = path; for (dir = path_dirs; *dir != NULL; dir++) { StrCpy(s, exePath); s += n; StrCpy(s, "/../../"); s += 7; StrCpy(s, *dir); s += lstrlen(*dir); s[0] = ';'; s++; } s[0] = '\0'; if (! SetEnvironmentVariable(TEXT("PATH"), path)) { printf("SetEnvironmentVariable failed (%d)\n", GetLastError()); } } HINSTANCE loadDll(LPTSTR dll) { HINSTANCE h; DWORD dw; LPVOID lpMsgBuf; h = LoadLibrary(dll); if (h == NULL) { dw = GetLastError(); FormatMessage( FORMAT_MESSAGE_ALLOCATE_BUFFER | FORMAT_MESSAGE_FROM_SYSTEM | FORMAT_MESSAGE_IGNORE_INSERTS, NULL, dw, MAKELANGID(LANG_NEUTRAL, SUBLANG_DEFAULT), (LPTSTR) &lpMsgBuf, 0, NULL ); die("loadDll failed: %d: %s\n", dw, lpMsgBuf); } return h; } void *GetNonNullProcAddress(HINSTANCE h, char *sym) { void *p; p = GetProcAddress(h, sym); if (p == NULL) { die("Failed to find address for %s", sym); } return p; } HINSTANCE GetNonNullModuleHandle(LPTSTR dll) { HINSTANCE h; h = GetModuleHandle(dll); if (h == NULL) { die("Failed to get module handle for %s", dll); } return h; } typedef int (*hs_main_t)(int , char **, StgClosure *, RtsConfig); int main(int argc, char *argv[]) { void *p; HINSTANCE hRtsDll, hProgDll; StgClosure *main_p; RtsConfig *rts_config_p; hs_main_t hs_main_p; setPath(); // hRtsDll = loadDll(TEXT("libHSrts_debug-ghc7.7.20130315.dll")); // hRtsDll = loadDll(TEXT("libHSrts_thr-ghc7.7.20130315.dll")); // hRtsDll = loadDll(TEXT("libHSrts-ghc7.7.20130315.dll")); hProgDll = loadDll(TEXT("ghc-stage2.exe.dll")); hRtsDll = GetNonNullModuleHandle(TEXT("libHSrts- ghc7.7.20130315.dll")); hs_main_p = GetNonNullProcAddress(hRtsDll, "hs_main"); rts_config_p = GetNonNullProcAddress(hRtsDll, "defaultRtsConfig"); main_p = GetNonNullProcAddress(hProgDll, "ZCMain_main_closure"); return hs_main_p(argc, argv, main_p, *rts_config_p); } }}} Gives: {{{ Segmentation fault/access violation in generated code }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7772> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 15 Mar '13

15 Mar '13

#6018: Injective type families ----------------------------------------+----------------------------------- Reporter: lunaris | Owner: simonpj Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: TypeFamilies, Injective | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #4259 | ----------------------------------------+----------------------------------- Changes (by duairc): * cc: shane@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6018#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4175: GHCi support for type/data families should match that of related features
by GHC 15 Mar '13

15 Mar '13

#4175: GHCi support for type/data families should match that of related features ---------------------------------+------------------------------------------ Reporter: claus | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.6.2 Component: GHCi | Version: 6.12.3 Resolution: fixed | Keywords: FD TF Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: ghci/scripts/T4175 | Blockedby: Blocking: | Related: ---------------------------------+------------------------------------------ Changes (by simonpj): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4175#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4175: GHCi support for type/data families should match that of related features
by GHC 15 Mar '13

15 Mar '13

#4175: GHCi support for type/data families should match that of related features ---------------------------------+------------------------------------------ Reporter: claus | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.6.2 Component: GHCi | Version: 6.12.3 Keywords: FD TF | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: ghci/scripts/T4175 Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by simonpj): * testcase: => ghci/scripts/T4175 Comment: Thanks Patrick. I've committed your patch, and added your example as a test case. I had to update Haddock, which leaves a new opportunity for Haddock too: {{{ commit b6ef14069677c79f85cfdce7b5d69b06ca35f8b5 Author: Simon Peyton Jones <simonpj(a)microsoft.com> Date: Fri Mar 15 14:16:10 2013 +0000 Adapt to tcRnGetInfo returning family instances too This API change was part of the fix to Trac #4175. But it offers new information to Haddock: the type-family instances, as well as the class instances, of this type. This patch just drops the new information on the floor, but there's an open opportunity to use it in the information that Haddock displays. src/Haddock/Interface/AttachInstances.hs | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4175#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4175: GHCi support for type/data families should match that of related features
by GHC 15 Mar '13

15 Mar '13

#4175: GHCi support for type/data families should match that of related features ---------------------------------+------------------------------------------ Reporter: claus | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.6.2 Component: GHCi | Version: 6.12.3 Keywords: FD TF | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by patrick@…): commit ca39e777907f8b16d8ede82e040b6f17fad99c9e {{{ Author: Patrick Palka <patrick(a)parcs.ath.cx> Date: Thu Mar 7 11:39:10 2013 -0500 Implement type family instance support for ":info" (#4175) v2: added a couple of comments compiler/main/GHC.hs | 2 ++ compiler/main/HscMain.hs | 2 +- compiler/main/InteractiveEval.hs | 16 +++++++++++----- compiler/typecheck/TcRnDriver.lhs | 33 ++++++++++++++++++++++----------- compiler/typecheck/TcType.lhs | 2 +- compiler/types/FamInstEnv.lhs | 14 +++++++++++++- compiler/types/InstEnv.lhs | 13 ++++++++++++- ghc/InteractiveUI.hs | 16 ++++++++++------ 8 files changed, 72 insertions(+), 26 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4175#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0