January 2016 - ghc-tickets

[GHC] #11150: New `-fwarn-noncanonical-monoid-instances` warning
by GHC 25 Jan '16

25 Jan '16

#11150: New `-fwarn-noncanonical-monoid-instances` warning -------------------------------------+------------------------------------- Reporter: hvr | Owner: hvr Type: feature | Status: new request | Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #11128, #11139 Differential Rev(s): | Wiki Page: | prime:Libraries/Proposals/SemigroupMonoid -------------------------------------+------------------------------------- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11150> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #603: GC-spy connection
by GHC 25 Jan '16

25 Jan '16

#603: GC-spy connection -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: task | Status: closed Priority: normal | Milestone: ⊥ Component: Runtime System | Version: None Resolution: wontfix | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: N/A Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Description changed by thomie: @@ -2,1 +2,1 @@ - [http://research.sun.com/projects/gcspy/ GC spy tool], which gives a + [http://www.cs.kent.ac.uk/projects/gc/gcspy/ GC spy tool], which gives a New description: Connect GHC's garbage collector to the [http://www.cs.kent.ac.uk/projects/gc/gcspy/ GC spy tool], which gives a graphical display of heap characteristics at runtime. (Similar to the Front Panel task: [ticket:599].) -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/603#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #603: GC-spy connection
by GHC 25 Jan '16

25 Jan '16

#603: GC-spy connection -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: task | Status: closed Priority: normal | Milestone: ⊥ Component: Runtime System | Version: None Resolution: wontfix | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: N/A Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by thomie): For future reference: http://www.cs.kent.ac.uk/projects/gc/gcspy/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/603#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #603: GC-spy connection
by GHC 25 Jan '16

25 Jan '16

#603: GC-spy connection -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: task | Status: closed Priority: normal | Milestone: ⊥ Component: Runtime System | Version: None Resolution: wontfix | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: N/A Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * cc: simonmar (added) * failure: => None/Unknown * status: new => closed * resolution: None => wontfix Comment: Given that the GC spy website doesn't even exist anymore, I think we can safely close this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/603#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9708: Type inference non-determinism due to improvement
by GHC 25 Jan '16

25 Jan '16

#9708: Type inference non-determinism due to improvement -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Here's an example that showed up in Iavor's test `TcTypeNatSimple`: {{{ ti7 :: (x <= y, y <= x) => Proxy (SomeFun x) -> Proxy y -> () ti7 _ _ = () }}} From the ambiguity check for `ti7` we get this constraint {{{ forall x y. (x <= y, y <= x) => ( SomeFun x ~ SomeFun alpha , alpha <= y, y <= alpha) }}} where `alpha` is the unification variable that instantiates `x`. Now, from the givens, improvement gives a derived `[D] x~y`, but we can't actually use that to rewrite anything; we have no evidence. From the wanteds we can use improvement in two alternative ways: {{{ 1. (alpha <= y, y <= alpha) => [D] alpha ~ y 2. (x <= y, y <= alpha) => [D] x <= alpha (alpha <= y, y <= x) => [D] alpha <= x And combining the latter two we get [D] (alpha ~ x) }}} It is (2) that we want. But if we get (1) and fix `alpha := y`, we get an error `Can't unify (SomeFun x ~ SomeFun y)`. I think it's a fluke that this test has been working so far; in my new flatten-skolem work it has started failing, which is not unreasonable. What I HATE is that whether type checking succeeds or fails depends on some random choice about which constraint is processed first. The real bug is that the derived Given has no evidence, and can't be used for rewriting. I think Iavor is fixing this deficiency for. I speculate that the same problem might also show up with ordinary type-class functional dependencies, but I have not found a concrete example. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9708> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #10223: Cleanup `mk/build.mk.sample`
by GHC 25 Jan '16

25 Jan '16

#10223: Cleanup `mk/build.mk.sample` -------------------------------------+------------------------------------- Reporter: thomie | Owner: thomie Type: task | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10223> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] Batch modify: #10509, #10022, #10037, #10053, #10063, #10193, ...
by GHC 25 Jan '16

25 Jan '16

Batch modification to #10509, #10022, #10037, #10053, #10063, #10193, #10594, #10701, #10702, #10707, #10823, #10909, #11050, #11078, #11161, #11297, #11366 by thomie: milestone to -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=10509%2C10022%2C10037%2C10053%2C10…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] Batch modify: #624, #1016, #1216, #1330, #1349, #1365, #1377, ...
by GHC 25 Jan '16

25 Jan '16

Batch modification to #624, #1016, #1216, #1330, #1349, #1365, #1377, #1379, #1420, #1466, #1534, #1572, #1600, #1620, #1631, #1693, #1727, #1880, #1885, #1894, #1965, #2028, #2075, #2123, #2159, #2215, #2224, #2256, #2260, #2269, #2273, #2333, #2340, #2345, #2346, #2370, #2401, #2408, #2437, #2439, #2460, #2550, #2598, #2600, #2614, #2640, #2642, #2648, #2710, #2737, #2803, #2805, #2867, #2933, #2945, #2946, #2950, #2968, #2986, #3000, #3052, #3055, #3061, #3070, #3073, #3107, #3122, #3123, #3138, #3184, #3192, #3231, #3238, #3251, #3282, #3314, #3355, #3372, #3373, #3427, #3452, #3458, #3462, #3464, #3483, #3547, #3571, #3588, #3619, #3632, #3645, #3701, #3713, #3744, #3753, #3755, #3766, #3767, #3781, #3786, #3831, #3869, #3870, #3881, #3895, #3937, #3946, #3984, #4016, #4020, #4022, #4048, #4049, #4052, #4096, #4121, #4140, #4150, #4162, #4180, #4211, #4222, #4245, #4281, #4296, #4301, #4308, #4316, #4372, #4374, #4451, #4453, #4459, #4520, #4806, #4815, #4824, #4833, #4836, #489 9, #4900, #4913, #4942, #4955, #4960, #5016, #5073, #5075, #5140, #5142, #5143, #5171, #5197, #5218, #5219, #5266, #5291, #5298, #5302, #5305, #5320, #5326, #5392, #5444, #5539, #5556, #5590, #5619, #5620, #5645, #5672, #5761, #5786, #5791, #5823, #5902, #5910, #5918, #5927, #5954, #5985, #6017, #6040, #6087, #6107, #6113, #7044, #7048, #7063, #7066, #7078, #7081, #7104, #7105, #7140, #7141, #7152, #7158, #7198, #7204, #7240, #7246, #7283, #7296, #7297, #7300, #7320, #7331, #7335, #7337, #7373, #7374, #7380, #7388, #7395, #7398, #7401, #7413, #7430, #7443, #7461, #7495, #7511, #7535, #7539, #7543, #7593, #7606, #7610, #7611, #7624, #7625, #7637, #7665, #7668, #7670, #7679, #7687, #7741, #7779, #7789, #7803, #7829, #7836, #7849, #7930, #8014, #8036, #8107, #8198, #8226, #8252, #8287, #8288, #8321, #8323, #8362, #8398, #8429, #8457, #8460, #8489, #8623, #8657, #8694, #8695, #8732, #8733, #8751, #8922, #8971, #8981, #9020, #9046, #9133, #9274, #9307, #9352, #9358, #9405, #9596, #9649, #9671, #9717, #9719, #9743, #9786, #9795, #9797, #9806, #9841, #9982, #10189, #10217, #7482, #4937, #4385, #4470, #5692, #7542, #9251, #4413, #4823, #5495, #4081, #5522, #7190, #7437, #8144, #8303, #5959, #6047, #4176, #6132, #7428, #5262, #6092, #7114, #3606, #3980, #4102, #4329, #4442, #6101, #7045, #7285, #7353, #8767, #9631, #9674, #9716, #9792, #9908, #9022, #1574, #2776, #7181, #7644, #9247, #9248, #7259, #849, #7378, #5567, #1498, #4101, #8156, #2289, #2387, #2731, #3379, #10083, #7647, #3034, #5188, #5780, #5941, #7763, #8594, #8910, #9089, #2147, #1012, #10448, #8279, #8364, #3333, #4295, #9646, #10976, #7983, #5467, #8990, #7790, #8199, #6089, #7450, #7596, #5850, #7275, #609, #3559, #888, #6024, #7161, #9735, #9276, #781, #4945, #1544, #8731, #7258, #4092, #1290, #8581, #10301, #4114, #9614, #8761, #5615, #5834, #8238, #10046, #8396, #2258, #5972, #4479, #7492, #9821, #7459, #9043, #9453, #9526, #8176, #1853, #7277, #7414, #2168, #2189, #4105, #9289, #9342, #9353, #8763, #2940, #4243, #5642, #7245, #7655, #9237, #5928, #8258, #2374, #5987, #9034, #8827, #8782, #5654, #8422, #8406, #7650, #5641, #8426, #8285, #3711, #9123, #9267, #8272, #8572, #7307, #4017, #4288, #344, #5267, #5777, #7828, #5059, #7109, #5378, #602, #2119, #2135, #2365, #2522, #3085, #4959, #4980, #5288, #5813, #7169, #9573, #10071, #2721, #3990, #4259, #5224, #7808, #9780, #7494, #7503, #2641, #7635 by thomie: milestone to -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=624%2C1016%2C1216%2C1330%2C1349%2C… C4815%2C4824%2C4833%2C4836%2C4899%2C4900%2C4913%2C4942%2C4955%2C4960%2C5016%2C5073%2C5075%2C5140%2C5142%2C5143%2C5171%2C5197%2C5218%2C5219%2C5266%2C5291%2C5298%2C5302%2C5305%2C5320%2C5326%2C5392%2C5444%2C5539%2C5556%2C5590%2C5619%2C5620%2C5645%2C5672%2C5761%2C5786%2C5791%2C5823%2C5902%2C5910%2C5918%2C5927%2C5954%2C5985%2C6017%2C6040%2C6087%2C6107%2C6113%2C7044%2C7048%2C7063%2C7066%2C7078%2C7081%2C7104%2C7105%2C7140%2C7141%2C7152%2C7158%2C7198%2C7204%2C7240%2C7246%2C7283%2C7296%2C7297%2C7300%2C7320%2C7331%2C7335%2C7337%2C7373%2C7374%2C7380%2C7388%2C7395%2C7398%2C7401%2C7413%2C7430%2C7443%2C7461%2C7495%2C7511%2C7535%2C7539%2C7543%2C7593%2C7606%2C7610%2C7611%2C7624%2C7625%2C7637%2C7665%2C7668%2C7670%2C7679%2C7687%2C7741%2C7779%2C7789%2C7803%2C7829%2C7836%2C7849%2C7930%2C8014%2C8036%2C8107%2C8198%2C8226%2C8252%2C8287%2C8288%2C8321%2C8323%2C8362%2C8398%2C8429%2C8457%2C8460%2C8489%2C8623%2C8657%2C8694%2C8695%2C8732%2C8733%2C8751%2C8922%2C8971%2C8981%2C9020%2C9046%2C9133%2C9274%2C9307%2C93 52%2C9358%2C9405%2C9596%2C9649%2C9671%2C9717%2C9719%2C9743%2C9786%2C9795%2C9797%2C9806%2C9841%2C9982%2C10189%2C10217%2C7482%2C4937%2C4385%2C4470%2C5692%2C7542%2C9251%2C4413%2C4823%2C5495%2C4081%2C5522%2C7190%2C7437%2C8144%2C8303%2C5959%2C6047%2C4176%2C6132%2C7428%2C5262%2C6092%2C7114%2C3606%2C3980%2C4102%2C4329%2C4442%2C6101%2C7045%2C7285%2C7353%2C8767%2C9631%2C9674%2C9716%2C9792%2C9908%2C9022%2C1574%2C2776%2C7181%2C7644%2C9247%2C9248%2C7259%2C849%2C7378%2C5567%2C1498%2C4101%2C8156%2C2289%2C2387%2C2731%2C3379%2C10083%2C7647%2C3034%2C5188%2C5780%2C5941%2C7763%2C8594%2C8910%2C9089%2C2147%2C1012%2C10448%2C8279%2C8364%2C3333%2C4295%2C9646%2C10976%2C7983%2C5467%2C8990%2C7790%2C8199%2C6089%2C7450%2C7596%2C5850%2C7275%2C609%2C3559%2C888%2C6024%2C7161%2C9735%2C9276%2C781%2C4945%2C1544%2C8731%2C7258%2C4092%2C1290%2C8581%2C10301%2C4114%2C9614%2C8761%2C5615%2C5834%2C8238%2C10046%2C8396%2C2258%2C5972%2C4479%2C7492%2C9821%2C7459%2C9043%2C9453%2C9526%2C8176%2C1853%2C7277%2C7414%2C2168%2C2189%2C41 05%2C9289%2C9342%2C9353%2C8763%2C2940%2C4243%2C5642%2C7245%2C7655%2C9237%2C5928%2C8258%2C2374%2C5987%2C9034%2C8827%2C8782%2C5654%2C8422%2C8406%2C7650%2C5641%2C8426%2C8285%2C3711%2C9123%2C9267%2C8272%2C8572%2C7307%2C4017%2C4288%2C344%2C5267%2C5777%2C7828%2C5059%2C7109%2C5378%2C602%2C2119%2C2135%2C2365%2C2522%2C3085%2C4959%2C4980%2C5288%2C5813%2C7169%2C9573%2C10071%2C2721%2C3990%2C4259%2C5224%2C7808%2C9780%2C7494%2C7503%2C2641%2C7635> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] Batch modify: #10826, #9562, #7634, #7635
by GHC 25 Jan '16

25 Jan '16

Batch modification to #10826, #9562, #7634, #7635 by thomie: keywords to SafeHaskell -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=10826%2C9562%2C7634%2C7635> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2641: Revise the rules for -XExtendedDefaultRules
by GHC 25 Jan '16

25 Jan '16

#2641: Revise the rules for -XExtendedDefaultRules -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 8.0.1 Component: Compiler | Version: 6.8.3 Resolution: | Keywords: | ExtendedDefaultRules Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8171 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * keywords: => ExtendedDefaultRules * related: => #8171 Comment: See also #8171, where it is proposed to make the rules //more// liberal. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2641#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0