{"action":"created","issue":{"url":"https://api.github.com/repos/antalsz/hs-to-coq/issues/91","repository_url":"https://api.github.com/repos/antalsz/hs-to-coq","labels_url":"https://api.github.com/repos/antalsz/hs-to-coq/issues/91/labels{/name}","comments_url":"https://api.github.com/repos/antalsz/hs-to-coq/issues/91/comments","events_url":"https://api.github.com/repos/antalsz/hs-to-coq/issues/91/events","html_url":"https://github.com/antalsz/hs-to-coq/issues/91","id":333710297,"node_id":"MDU6SXNzdWUzMzM3MTAyOTc=","number":91,"title":"Encoding problems in happy","user":{"login":"WhatisRT","id":93242,"node_id":"MDQ6VXNlcjkzMjQy","avatar_url":"https://avatars1.githubusercontent.com/u/93242?v=4","gravatar_id":"","url":"https://api.github.com/users/WhatisRT","html_url":"https://github.com/WhatisRT","followers_url":"https://api.github.com/users/WhatisRT/followers","following_url":"https://api.github.com/users/WhatisRT/following{/other_user}","gists_url":"https://api.github.com/users/WhatisRT/gists{/gist_id}","starred_url":"https://api.github.com/users/WhatisRT/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/WhatisRT/subscriptions","organizations_url":"https://api.github.com/users/WhatisRT/orgs","repos_url":"https://api.github.com/users/WhatisRT/repos","events_url":"https://api.github.com/users/WhatisRT/events{/privacy}","received_events_url":"https://api.github.com/users/WhatisRT/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2018-06-19T14:57:02Z","updated_at":"2018-06-19T20:15:03Z","closed_at":null,"author_association":"NONE","body":"While building hs-to-coq on an ubuntu image, I encountered the following error:\r\n\r\n```\r\nhs-to-coq-0.0.0.0: build (lib + exe)\r\nPreprocessing library for hs-to-coq-0.0.0.0..\r\nhappy: src/lib/HsToCoq/ConvertHaskell/Parameters/Parsers.y: hGetContents: invalid argument (invalid byte sequence)\r\n\r\n--  While building custom Setup.hs for package hs-to-coq-0.0.0.0 using:\r\n      /root/.stack/setup-exe-cache/x86_64-linux/Cabal-simple_mPHDZzAJ_2.2.0.0_ghc-8.4.1 --builddir=.stack-work/dist/x86_64-linux/Cabal-2.2.0.0 build lib:hs-to-coq exe:hs-to-coq --ghc-options \" -ddump-hi -ddump-to-file -fdiagnostics-color=always\"\r\n    Process exited with code: ExitFailure 1\r\n```\r\n\r\nThe error `hGetContents: invalid argument (invalid byte sequence)` pops up with other Haskell projects and seems to imply that a wrong encoding is used. The exact same commit builds fine on my mac."},"comment":{"url":"https://api.github.com/repos/antalsz/hs-to-coq/issues/comments/398530394","html_url":"https://github.com/antalsz/hs-to-coq/issues/91#issuecomment-398530394","issue_url":"https://api.github.com/repos/antalsz/hs-to-coq/issues/91","id":398530394,"node_id":"MDEyOklzc3VlQ29tbWVudDM5ODUzMDM5NA==","user":{"login":"nh2","id":399535,"node_id":"MDQ6VXNlcjM5OTUzNQ==","avatar_url":"https://avatars1.githubusercontent.com/u/399535?v=4","gravatar_id":"","url":"https://api.github.com/users/nh2","html_url":"https://github.com/nh2","followers_url":"https://api.github.com/users/nh2/followers","following_url":"https://api.github.com/users/nh2/following{/other_user}","gists_url":"https://api.github.com/users/nh2/gists{/gist_id}","starred_url":"https://api.github.com/users/nh2/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nh2/subscriptions","organizations_url":"https://api.github.com/users/nh2/orgs","repos_url":"https://api.github.com/users/nh2/repos","events_url":"https://api.github.com/users/nh2/events{/privacy}","received_events_url":"https://api.github.com/users/nh2/received_events","type":"User","site_admin":false},"created_at":"2018-06-19T20:15:03Z","updated_at":"2018-06-19T20:15:03Z","author_association":"NONE","body":"@nomeata It's likely the ellipsis on this line\r\n\r\nhttps://github.com/antalsz/hs-to-coq/blob/f2994c196829cde9eaf028235a60a370bd004338/src/lib/HsToCoq/ConvertHaskell/Parameters/Parsers.y#L270\r\n\r\nand/or the accent on `a` on this line\r\n\r\nhttps://github.com/antalsz/hs-to-coq/blob/f2994c196829cde9eaf028235a60a370bd004338/src/lib/HsToCoq/ConvertHaskell/Parameters/Parsers.y#L266\r\n\r\nand likely `happy` doesn't follow https://www.snoyman.com/blog/2016/12/beware-of-readfile"}}
{"actor":{"display_login":"nh2"}}