- ghc-tickets - Haskell.org

[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 12 Feb '17

12 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

[GHC] #13266: Source locations from signature merging/matching are bad
by GHC 11 Feb '17

11 Feb '17

#13266: Source locations from signature merging/matching are bad -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: 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: -------------------------------------+------------------------------------- Example output: {{{ /tmp/ghc3555_0/ghc_7.hscpp:1:1: error: No instance for (GHC.Enum.Enum t) arising when attempting to show that instance [safe] MonadHold t (PushM t) -- Defined in ‘z-reflex-z-common-0.5.0:Reflex.NewPure’ is provided by ‘z-reflex-z-common-0.5.0:Reflex.NewPure’ Possible fix: add (GHC.Enum.Enum t) to the context of the instance declaration | 1 | # 1 "indef/Reflex/Sig.hsig" }}} Unfortunately, this is not so easy to fix. Ordinarily, type errors occur while we are checking the source file in question, so we have plenty of SrcSpans from the parsed syntax tree to attach error to good source locations. However, a signature merge works differently: in general, we will have some interface files from our dependencies which we would like to merge together. If there is an incompatibility, there is NO local source declaration that we can get a SrcSpan for. So, what should we report in this case? One possibility is that we want to report the location of the source file *that produced the interface file.* But that would involve saving file paths in interface files, which seems quite distasteful to me, especially since the source location might be in a temporary directory, in which case you just broke determinism. So... I am not sure what to do here! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13266> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12423: Panic with DeriveAnyClass and DefaultSignatures
by GHC 11 Feb '17

11 Feb '17

#12423: Panic with DeriveAnyClass and DefaultSignatures -------------------------------------+------------------------------------- Reporter: knrafto | Owner: 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: -------------------------------------+------------------------------------- With the code {{{#!hs {-# LANGUAGE DefaultSignatures, DeriveAnyClass #-} class Eq1 f where (==#) :: Eq a => f a -> f a -> Bool default (==#) :: Eq (f a) => f a -> f a -> Bool (==#) = (==) data Foo a = Foo (Either a a) deriving (Eq, Eq1) }}} GHC 8.0.1 and 7.10.3 both panic: {{{ ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-apple-darwin): in other argument Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12423> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #9821: DeriveAnyClass support for higher-kinded classes + some more comments
by GHC 11 Feb '17

11 Feb '17

#9821: DeriveAnyClass support for higher-kinded classes + some more comments -------------------------------------+------------------------------------- Reporter: dreixel | Owner: dreixel Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.9 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: #5462 | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- #5462 was merged before a few final fixes were done. This ticket serves to record that. Left to address are: https://phabricator.haskell.org/D476?id=1443#inline-3652 https://phabricator.haskell.org/D476?id=1443#inline-3648 https://phabricator.haskell.org/D476?id=1443#inline-3646 Also, `DeriveAnyClass` currently panics at higher-kinded classes (like `((* -> *) -> *) -> Constraint`). I'll fix this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9821> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

[GHC] #12594: DeriveAnyClass fails to derive some classes
by GHC 11 Feb '17

11 Feb '17

#12594: DeriveAnyClass fails to derive some classes -------------------------------------+------------------------------------- Reporter: ivanm | Owner: 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: -------------------------------------+------------------------------------- {{{#!hs {-# LANGUAGE DeriveAnyClass, DeriveGeneric #-} import Database.PostgreSQL.Simple import GHC.Generics data Foo = Foo { bar :: Int } deriving (Generic, ToRow) }}} This succeeds using `ghci`, but fails when trying to compile it using `ghc` with the following error message: {{{ • No instance for (Database.PostgreSQL.Simple.ToField.ToField Char) arising from the first field of ‘Foo’ (type ‘Int’) Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself • When deriving the instance for (ToRow Foo) }}} However, it works if I use `instance ToRow Foo` instead of relying upon `DeriveAnyClass`. I've tried this with other types instead of `Int`, using `newtype` instead of `data` and having multiple fields in the datatype. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12594> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7