February 2017 - ghc-tickets

[GHC] #13259: cross-endian GHC generates invalid .hi files
by GHC 12 Feb '17

12 Feb '17

#13259: cross-endian GHC generates invalid .hi files -------------------------------------+------------------------------------- Reporter: slyfox | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I've reproduced the bug in the following setup: {{{ ./configure \ --enable-unregisterised \ --host=x86_64-pc-linux-gnu \ --target=m68k-unknown-linux-gnu }}} m68k is a 32-bit big-endian machine. {{{ $ LD_BIND_NOW=1 inplace/bin/ghc-stage2 --show-iface libraries/base/dist- install/build/System/IO.hi Magic: Wanted 129742, got 3472490752 magic number mismatch: old/corrupt interface file? (wanted 129742, got 3472490752) $ printf "%08X - %08X\n" 129742 3472490752 0001FACE - CEFA0100 }}} Reverting changeset:fbcef83a3aa130d976a201f2a21c5afc5a43d000 restores .hi loading and ghc-stage2. I'm still not sure what exactly breaks. WORDS_BIGENDIAN looks suspicious. I guess it breaks ghc-stage1 endianness understanding. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13259> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] Trac email verification for user: SherrylGayman9
by GHC 12 Feb '17

12 Feb '17

Please visit the following URL to confirm your email address. Verification URL: <http://ghc.haskell.org/trac/ghc/verify_email?verify=1&token=3ZAICY_g> Username: SherrylGayman9 Verification Token: 3ZAICY_g -- GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] Trac email verification for user: KellePurton2
by GHC 12 Feb '17

12 Feb '17

Please visit the following URL to confirm your email address. Verification URL: <http://ghc.haskell.org/trac/ghc/verify_email?verify=1&token=CWs7ydsz> Username: KellePurton2 Verification Token: CWs7ydsz -- GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13274: GHC library is accumulating exported symbols at a very rapid rate.
by GHC 12 Feb '17

12 Feb '17

#13274: GHC library is accumulating exported symbols at a very rapid rate. -------------------------------------+------------------------------------- Reporter: Phyx- | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #5987 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- On `20160617` libHSghc had `49610` exported symbols. This was gotten by doing `nm -g $5 | sed -nr 's/^[a-z,A-Z,0-9]+\s([A-Z])\s(.+)$/\1 \2\n/p' | sed -r 's/^.+:.*$//g' | sed '/^\s*$/d' | sort | uniq -u` on all object files given to link `libHSghc`. After rebasing on newer commit `20161015` 4 months later it now has `124966` exported symbols. This is an explosive increase in symbol count of nearly 300%. On `20170208` this is now even higher `147927` which is another big increase. Unfortunately it's not easy for me to go back to the first build since my git has been pruned. But I do have the list for the latest jump. Should be investigated why. This rate will be problematic for #5987 as it means we'll keep adding DLLs. Currently with the current head it needs to split in 3 DLLs, and it's not far from a 4th. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13274> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #13269: Changes in includes of `addCStub` do not cause recompilation of downstream modules.
by GHC 12 Feb '17

12 Feb '17

#13269: Changes in includes of `addCStub` do not cause recompilation of downstream modules. -------------------------------------+------------------------------------- Reporter: | Owner: facundo.dominguez | Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 8.0.1 Haskell | Keywords: inline-c | Operating System: Unknown/Multiple addCStub | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: 13237 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Failing example: {{{ // header.h #include <stdio.h> int f(int x) { printf("calling f(%d)\n",x); return x + 1; } }}} {{{ -- A.hs {-# LANGUAGE ForeignFunctionInterface #-} {-# LANGUAGE TemplateHaskell #-} module A where import Language.Haskell.TH.Syntax foreign import ccall f :: Int -> IO Int do addCStub "#include \"header.h\"" addDependentFile "header.h" return [] }}} {{{ -- B.hs {-# LANGUAGE ForeignFunctionInterface #-} {-# LANGUAGE TemplateHaskell #-} module Main where import Language.Haskell.TH.Syntax import A do i <- runIO $ f 0 [d| fh = i |] main :: IO () main = print fh }}} {{{ $ ghc --make B.hs [1 of 2] Compiling A ( A.hs, A.o ) [2 of 2] Compiling Main ( B.hs, B.o ) calling f(0) Linking B ... $ ./B 1 }}} Edit `header.h`: {{{ // header.h #include <stdio.h> int f(int x) { printf("calling f(%d)\n",x); - return x + 1; + return x + 2; } }}} Recompiling we can see that `B.hs` is not rebuilt. And executing the program still shows the old result. {{{ $ ghc --make B.hs [1 of 2] Compiling A ( A.hs, A.o ) [header.h changed] Linking B ... $ ./B 1 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13269> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #13273: AttributeError: 'Environment' object has no attribute 'get_db_cnx'
by GHC 12 Feb '17

12 Feb '17

#13273: AttributeError: 'Environment' object has no attribute 'get_db_cnx' -------------------------------------+------------------------------------- Reporter: Siddharth | Owner: (none) Bhat | Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- ==== How to Reproduce ==== While doing a POST operation on `/ticket/12636`, Trac issued an internal error. ''(please provide additional details here)'' Request parameters: {{{ {u'__FORM_TOKEN': u'73aa35b2c757eee5d2b0ae62', u'action': u'leave', u'action_assign_reassign_owner': u'bollu', u'action_resolve_resolve_resolution': u'fixed', u'comment': u'I believe the guarantee at that chunk of code is that `void_total` of the era will be `>= 0`.\r\n\r\nI could add an asset at those sections of code if need be. If not, what is the correct type to be used here? I think `size_t` is reasonable as none of them are supposed to be negative in the first place.\r\n\r\n', u'field_architecture': u'Unknown/Multiple', u'field_blockedby': u'', u'field_blocking': u'', u'field_cc': u'simonmar', u'field_component': u'Runtime System', u'field_description': u'during compile I noticed\r\n\r\n{{{\r\nrts\\ProfHeap.c: In function \'dumpCensus\':\r\n\r\nrts\\ProfHeap.c:768:26: error:\r\n warning: format \'%lu\' expects argument of type \'long unsigned int\', but argument 3 has type \'long long unsigned int\' [-Wformat=]\r\n fprintf(hp_file, "VOID\\t%lu\\n",\r\n ^\r\n\r\nrts\\ProfHeap.c:770:26: error:\r\n warning: format \'%lu\' expects argument of type \'long unsigned int\', but argument 3 has type \'long long unsigned int\' [-Wformat=]\r\n fprintf(hp_file, "LAG\\t%lu\\n",\r\n ^\r\n\r\nrts\\ProfHeap.c:772:26: error:\r\n warning: format \'%lu\' expects argument of type \'long unsigned int\', but argument 3 has type \'long long unsigned int\' [-Wformat=]\r\n fprintf(hp_file, "USE\\t%lu\\n",\r\n ^\r\n\r\nrts\\ProfHeap.c:774:26: error:\r\n warning: format \'%lu\' expects argument of type \'long unsigned int\', but argument 3 has type \'long long unsigned int\' [-Wformat=]\r\n fprintf(hp_file, "INHERENT_USE\\t%lu\\n",\r\n ^\r\n\r\nrts\\ProfHeap.c:776:26: error:\r\n warning: format \'%lu\' expects argument of type \'long unsigned int\', but argument 3 has type \'long long unsigned int\' [-Wformat=]\r\n fprintf(hp_file, "DRAG\\t%lu\\n",\r\n ^\r\n}}}\r\n', u'field_differential': u'', u'field_failure': u'None/Unknown', u'field_keywords': u'newcomer', u'field_milestone': u'', u'field_os': u'Windows', u'field_priority': u'normal', u'field_related': u'', u'field_summary': u"ProfHeap's printf modifiers are incorrect", u'field_testcase': u'', u'field_type': u'bug', u'field_version': u'8.0.1', u'field_wikipage': u'', 'id': u'12636', u'replyto': u'', u'sfp_email': u'', u'sfph_mail': u'', u'start_time': u'1486808510359145', u'submit': u'Submit changes', u'view_time': u'1486808510359145'} }}} User agent: `#USER_AGENT#` ==== System Information ==== ''System information not available'' ==== Enabled Plugins ==== ''Plugin information not available'' ==== Interface Customization ==== ''Interface customization information not available'' ==== Python Traceback ==== {{{ Traceback (most recent call last): File "/usr/local/lib/python2.7/dist-packages/trac/web/main.py", line 613, in _dispatch_request dispatcher.dispatch(req) File "/usr/local/lib/python2.7/dist-packages/trac/web/main.py", line 253, in dispatch resp = chosen_handler.process_request(req) File "/usr/local/lib/python2.7/dist-packages/trac/ticket/web_ui.py", line 177, in process_request return self._process_ticket_request(req) File "/usr/local/lib/python2.7/dist-packages/trac/ticket/web_ui.py", line 661, in _process_ticket_request valid = self._validate_ticket(req, ticket, not valid) and valid File "/usr/local/lib/python2.7/dist-packages/trac/ticket/web_ui.py", line 1378, in _validate_ticket for field, message in manipulator.validate_ticket(req, ticket): File "build/bdist.linux-x86_64/egg/defaultcc/main.py", line 31, in validate_ticket comp_default_cc = DefaultCC(self.env, ticket['component']) File "build/bdist.linux-x86_64/egg/defaultcc/model.py", line 25, in __init__ db = self.env.get_db_cnx() AttributeError: 'Environment' object has no attribute 'get_db_cnx' }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13273> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] Trac email verification for user: lukemaurer
by GHC 12 Feb '17

12 Feb '17

Please visit the following URL to confirm your email address. Verification URL: <http://ghc.haskell.org/trac/ghc/verify_email?verify=1&token=F1NzcGTk> Username: lukemaurer Verification Token: F1NzcGTk -- GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13214: Orphan instances in Backpack signatures don't work
by GHC 12 Feb '17

12 Feb '17

#13214: Orphan instances in Backpack signatures don't work -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 8.1 (Type checker) | Keywords: backpack | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ unit p where signature A where instance Show (a -> b) module B where import A f = show (\x -> x) }}} There are probably other problems too but here's the start. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13214> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8405: experiment with using function-sections for linking (for smaller libs and executables)
by GHC 12 Feb '17

12 Feb '17

#8405: experiment with using function-sections for linking (for smaller libs and executables) ------------------------------------+------------------------------------- Reporter: carter | Owner: Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- currently the only support we have for making small (ish) executables using split objects, which 1. is not on by default, for various good reasons 2. can seriously penalize compile times 3. in tandem, something like strip is often used, but on some platforms/targets (such as the iOS cross compiler), strip will actually break things might be worth seriously experimenting with function-sections / gc- sections in the object files we generate. example slide deck on this http://elinux.org/images/2/2d/ELC2010-gc- sections_Denys_Vlasenko.pdf -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8405> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 21

[GHC] #13237: Extend TH with addModCStub
by GHC 11 Feb '17

11 Feb '17

#13237: Extend TH with addModCStub -------------------------------------+------------------------------------- Reporter: | Owner: facundo.dominguez | Type: feature | Status: new request | Priority: normal | Milestone: 8.2.1 Component: Template | Version: 8.0.1 Haskell | Keywords: inline-c | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- inline-c could benefit of the ability to tell the compiler to include some code in the object file of the current module. https://github.com/fpco/inline-c/issues/21 This way, a module `FFI.hs` using inline-c doesn't need to produce a file `FFI.c` with C code, but the code can be build and included in the file FFI.o directly. For this sake, it would be needed the following TH function: {{{ addModCStub :: String -> Q () }}} which would indicate to the compiler that the C code in the given string needs to be built and included in the object file of the current module. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13237> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 20