{"action":"created","issue":{"url":"https://api.github.com/repos/adelbertc/circular/issues/13","repository_url":"https://api.github.com/repos/adelbertc/circular","labels_url":"https://api.github.com/repos/adelbertc/circular/issues/13/labels{/name}","comments_url":"https://api.github.com/repos/adelbertc/circular/issues/13/comments","events_url":"https://api.github.com/repos/adelbertc/circular/issues/13/events","html_url":"https://github.com/adelbertc/circular/pull/13","id":177667843,"number":13,"title":"View type class","user":{"login":"adelbertc","id":1332980,"avatar_url":"https://avatars.githubusercontent.com/u/1332980?v=3","gravatar_id":"","url":"https://api.github.com/users/adelbertc","html_url":"https://github.com/adelbertc","followers_url":"https://api.github.com/users/adelbertc/followers","following_url":"https://api.github.com/users/adelbertc/following{/other_user}","gists_url":"https://api.github.com/users/adelbertc/gists{/gist_id}","starred_url":"https://api.github.com/users/adelbertc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/adelbertc/subscriptions","organizations_url":"https://api.github.com/users/adelbertc/orgs","repos_url":"https://api.github.com/users/adelbertc/repos","events_url":"https://api.github.com/users/adelbertc/events{/privacy}","received_events_url":"https://api.github.com/users/adelbertc/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-09-18T18:28:56Z","updated_at":"2016-09-18T18:40:32Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/adelbertc/circular/pulls/13","html_url":"https://github.com/adelbertc/circular/pull/13","diff_url":"https://github.com/adelbertc/circular/pull/13.diff","patch_url":"https://github.com/adelbertc/circular/pull/13.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/adelbertc/circular/issues/comments/247865225","html_url":"https://github.com/adelbertc/circular/pull/13#issuecomment-247865225","issue_url":"https://api.github.com/repos/adelbertc/circular/issues/13","id":247865225,"user":{"login":"adelbertc","id":1332980,"avatar_url":"https://avatars.githubusercontent.com/u/1332980?v=3","gravatar_id":"","url":"https://api.github.com/users/adelbertc","html_url":"https://github.com/adelbertc","followers_url":"https://api.github.com/users/adelbertc/followers","following_url":"https://api.github.com/users/adelbertc/following{/other_user}","gists_url":"https://api.github.com/users/adelbertc/gists{/gist_id}","starred_url":"https://api.github.com/users/adelbertc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/adelbertc/subscriptions","organizations_url":"https://api.github.com/users/adelbertc/orgs","repos_url":"https://api.github.com/users/adelbertc/repos","events_url":"https://api.github.com/users/adelbertc/events{/privacy}","received_events_url":"https://api.github.com/users/adelbertc/received_events","type":"User","site_admin":false},"created_at":"2016-09-18T18:40:32Z","updated_at":"2016-09-18T18:40:32Z","body":"Currently not working. With `sbt \"project examples\" \"test:compile\"` I get:\r\n\r\n```\r\n[error] <elided>/circular/examples/src/test/scala/circular/examples/Example.scala:79: type mismatch;\r\n[error]  found   : circular.PIso[this.Out,circular.examples.Adt]\r\n[error]     (which expands to)  circular.PIso[P,circular.examples.Adt]\r\n[error]  required: circular.PIso[(Boolean, Double),circular.examples.Adt]\r\n[error]     val ctor1: PIso[(Boolean, Double), Adt] = sum[Adt, Adt.Ctor1].derive\r\n[error]                                                                   ^\r\n```\r\n\r\nWhat's even stranger is if I paste **all** of the following in a **clean** REPL, it's no good:\r\n\r\n```scala\r\n> console\r\n[info] Starting scala interpreter...\r\n[info] \r\nWelcome to Scala 2.11.8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_101).\r\nType in expressions for evaluation. Or try :help.\r\n\r\nscala> :pa\r\n// Entering paste mode (ctrl-D to finish)\r\n\r\nimport shapeless.Generic\r\nimport circular.PIso\r\nimport circular.generic.sum\r\n\r\nsealed abstract class Adt extends Product with Serializable\r\n\r\nobject Adt {\r\n  final case class Ctor1(a: Boolean, b: Double) extends Adt\r\n  final case class Ctor2(a: Int, b: String)     extends Adt\r\n}\r\n\r\nval ctor1: PIso[(Boolean, Double), Adt] = sum[Adt, Adt.Ctor1].derive\r\n\r\n// Exiting paste mode, now interpreting.\r\n\r\n<console>:22: error: type mismatch;\r\n found   : circular.PIso[this.Out,Adt]\r\n    (which expands to)  circular.PIso[P,Adt]\r\n required: circular.PIso[(Boolean, Double),Adt]\r\n       val ctor1: PIso[(Boolean, Double), Adt] = sum[Adt, Adt.Ctor1].derive\r\n                                                                     ^\r\n```\r\n\r\nBUT if I copy paste the exact same thing again, it works.\r\n\r\n```scala\r\nscala> :pa\r\n// Entering paste mode (ctrl-D to finish)\r\n\r\nimport shapeless.Generic\r\nimport circular.PIso\r\nimport circular.generic.sum\r\n\r\nsealed abstract class Adt extends Product with Serializable\r\n\r\nobject Adt {\r\n  final case class Ctor1(a: Boolean, b: Double) extends Adt\r\n  final case class Ctor2(a: Int, b: String)     extends Adt\r\n}\r\n\r\nval ctor1: PIso[(Boolean, Double), Adt] = sum[Adt, Adt.Ctor1].derive\r\n\r\n// Exiting paste mode, now interpreting.\r\n\r\nimport shapeless.Generic\r\nimport circular.PIso\r\nimport circular.generic.sum\r\ndefined class Adt\r\ndefined object Adt\r\nctor1: circular.PIso[(Boolean, Double),Adt] = PIso(<function1>,<function1>)\r\n\r\nscala> \r\n```"}}
{"actor":{"display_login":"adelbertc"}}