- ghc-tickets - Haskell.org

Re: [GHC] #806: hGetBufNonBlocking doesn't work on Windows
by GHC 22 Feb '15

22 Feb '15

#806: hGetBufNonBlocking doesn't work on Windows -----------------------------------+------------------------------------- Reporter: titto@… | Owner: Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Core Libraries | Version: 6.4.2 Resolution: | Keywords: Operating System: Windows | Architecture: x86 Type of failure: Runtime crash | Test Case: hGetBuf001 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -----------------------------------+------------------------------------- Changes (by ekmett): * cc: core-libraries-committee@… (added) * owner: ekmett => Comment: Relinquishing ownership of this ticket as this seems to be more of a runtime system issue. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/806#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7170: Foreign.Concurrent finalizer called twice in some cases
by GHC 22 Feb '15

22 Feb '15

#7170: Foreign.Concurrent finalizer called twice in some cases -------------------------------------+------------------------------------- Reporter: joeyadams | Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.1 Component: Core Libraries | Version: 7.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime crash | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | ffi/should_run/7170 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by ekmett): * owner: ekmett => Comment: Relinquishing control over this ticket: It requires someone with a better grasp of the runtime issues than me, and having it assigned to me, may cause someone who could solve it to pass it by. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7170#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4372: Extending quasiquotation support
by GHC 21 Feb '15

21 Feb '15

#4372: Extending quasiquotation support -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Template Haskell | Version: 6.12.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by songzh): Replying to [comment:16 thoughtpolice]: > Moving to 7.12.1 milestone; if you feel this is an error and should be addressed sooner, please move it back to the 7.10.1 milestone. Why this is being moved to 7.12? I was excited that it could be resolving in 7.10. I am only a newbie of Haskell, but I want to address something about this problem. I want to write type provider for Haskell that generates data type definition from JSON or OData sources. For example: {{{ {"name" : "Ciambellone Cake", "ingredients": [{ "name": "Flour", "quantity": 250, "measure": "gr" }]} }}} should generate {{{ data Recipe = Recipe { recipeName :: String, recipeIngredients: [Ingredient]} data Ingredient = Ingredient { ingredientName :: String, ingredientQuantity :: Int, ingredientMeasure :: String} }}} However, you need to give a type name when you do it (Here, it is Recipe). In F#, just write: {{{ type Recipe = JsonProvider<"JSONSample.json"> }}} However, it seems that we cannot do this in TH (I tried but cannot do it, if we can do tell me please!): {{{ data Recipe = $(templateHaskellpart) }}} which means we have to have a parameterized quoter {{{ quotejson :: String -> QuasiQuoter quotejson name = QuasiQuoter { quoteDec = \jsonStr -> gen name (getJSON jsonStr) } getJSON :: String -> JValue gen :: String -> JValue -> Q [Dec] }}} Being unable to do this means that we have to define a json quoter for each we need in a separated module, which is painful. Well, we can use quoteExp so solve this, however, the quotation marks and other special characters in JSON or other data sources can be very annoying sometimes. Another problem is that I suppose that the 4 quoters t, p, e, d are implemented in the layer of syntax, i.e. they do not have QuasiQuoter type, so if I want to defined a quoter called e or d, it seems to be impossible. I personally suppose that it might be better if the 4 quoters are provided in library layer instead of syntax level, just like other regular quoters. By which I mean we can define the lexer as following: {{{ '[' quoterExp '|' strings '|]' }}} and hand quoterExp afterwards. I do not understand why it is implemented in current way. Apologize if I said something stupid. :-) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4372#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7191: hsc2hs can't treat absolute path correctly on Windows.
by GHC 21 Feb '15

21 Feb '15

#7191: hsc2hs can't treat absolute path correctly on Windows. -------------------------------------+------------------------------------- Reporter: shelarcy | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: hsc2hs | Version: 7.8.1-rc2 Resolution: | Keywords: Operating System: Windows | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Phyx-): So what's the status of this ticket then? Should it just be closed? I can't really follow what should happen here :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7191#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1168: Optimisation sometimes decreases sharing in IO code
by GHC 21 Feb '15

21 Feb '15

#1168: Optimisation sometimes decreases sharing in IO code -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.6 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | nofib/spectral/calendar | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by nomeata): See #10102 for another example (but nothing excitingly new there). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1168#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7655: 7.6.2 Segmentation Fault/Bus Error in large exponentation
by GHC 21 Feb '15

21 Feb '15

#7655: 7.6.2 Segmentation Fault/Bus Error in large exponentation -------------------------------+----------------------------------------- Reporter: Doug310 | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.12.1 Component: GHCi | Version: 7.8.1-rc1 Resolution: | Keywords: exponentiation Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------+----------------------------------------- Comment (by George): I cannot reproduce this i 7.10.rc2 with the original test case: {{{ 12345678901234567890 ^ 12345 }}} Can others reproduce it on 7.10.rc2? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7655#comment:38> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8280: Deriving Show for Word#
by GHC 21 Feb '15

21 Feb '15

#8280: Deriving Show for Word# ------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: 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: | ------------------------------------+------------------------------------- {{{ {-# LANGUAGE MagicHash #-} import GHC.Prim data A = A Word# deriving Show }}} This works in 7.6.3, but 7.7 gives {{{ Can't find interface-file declaration for data constructor GHC.Types.W# Probable cause: bug in .hi-boot file, or inconsistent .hi file Use -ddump-if-trace to get an idea of which file caused the error }}} The same file works if Word# is replaced by Int#. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8280> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

Re: [GHC] #3699: Wildcards in type functions
by GHC 20 Feb '15

20 Feb '15

#3699: Wildcards in type functions -------------------------------------+------------------------------------- Reporter: | Owner: MartijnVanSteenbergen | Status: new Type: feature request | Milestone: 7.12.1 Priority: low | Version: 6.10.4 Component: Compiler (Type | Keywords: newcomer checker) | Architecture: Resolution: | Unknown/Multiple Operating System: Unknown/Multiple | Test Case: Type of failure: None/Unknown | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Changes (by jstolarek): * keywords: => newcomer -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3699#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4385: Type-level natural numbers
by GHC 20 Feb '15

20 Feb '15

#4385: Type-level natural numbers -------------------------------------+------------------------------------- Reporter: diatchki | Owner: diatchki Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by adamgundry): * cc: adam.gundry@… (removed) * cc: adamgundry (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4385#comment:73> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4385: Type-level natural numbers
by GHC 20 Feb '15

20 Feb '15

#4385: Type-level natural numbers -------------------------------------+------------------------------------- Reporter: diatchki | Owner: diatchki Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by adamgundry): Iavor can probably say more than me, but I believe he is currently working on a type-nats constraint solver as a typechecker plugin that communicates with an SMT solver: https://github.com/yav/type-nat-solver More generally, the aim of the typechecker plugins work is to make this sort of thing easier to experiment with. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4385#comment:72> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0