{"action":"created","issue":{"url":"https://api.github.com/repos/lihaoyi/Ammonite/issues/280","labels_url":"https://api.github.com/repos/lihaoyi/Ammonite/issues/280/labels{/name}","comments_url":"https://api.github.com/repos/lihaoyi/Ammonite/issues/280/comments","events_url":"https://api.github.com/repos/lihaoyi/Ammonite/issues/280/events","html_url":"https://github.com/lihaoyi/Ammonite/issues/280","id":119335872,"number":280,"title":"Ammonite REPL confused by singleton types","user":{"login":"tpolecat","id":1200131,"avatar_url":"https://avatars.githubusercontent.com/u/1200131?v=3","gravatar_id":"","url":"https://api.github.com/users/tpolecat","html_url":"https://github.com/tpolecat","followers_url":"https://api.github.com/users/tpolecat/followers","following_url":"https://api.github.com/users/tpolecat/following{/other_user}","gists_url":"https://api.github.com/users/tpolecat/gists{/gist_id}","starred_url":"https://api.github.com/users/tpolecat/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tpolecat/subscriptions","organizations_url":"https://api.github.com/users/tpolecat/orgs","repos_url":"https://api.github.com/users/tpolecat/repos","events_url":"https://api.github.com/users/tpolecat/events{/privacy}","received_events_url":"https://api.github.com/users/tpolecat/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/lihaoyi/Ammonite/labels/bug","name":"bug","color":"fc2929"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-11-29T04:26:36Z","updated_at":"2016-01-31T00:47:55Z","closed_at":"2016-01-31T00:47:55Z","body":"Ammonite seems confused by shapeless's ability to conjure up singleton types, which makes extensible records and other things not work.\r\n\r\n```scala\r\n@ shapeless.Witness(1)\r\nCompilation Failed\r\nMain.scala:46: exception during macro expansion: \r\nscala.MatchError: Int(1) (of class scala.reflect.internal.Types$UniqueConstantType)\r\n\tat ammonite.repl.frontend.TPrintLowPri$.rec0$1(TPrintImpl.scala:144)\r\n\tat ammonite.repl.frontend.TPrintLowPri$.typePrintImpl(TPrintImpl.scala:181)\r\n\r\n              .print(res0, res0, \"res0\", scala.None)\r\n                    ^\r\n```"},"comment":{"url":"https://api.github.com/repos/lihaoyi/Ammonite/issues/comments/177348435","html_url":"https://github.com/lihaoyi/Ammonite/issues/280#issuecomment-177348435","issue_url":"https://api.github.com/repos/lihaoyi/Ammonite/issues/280","id":177348435,"user":{"login":"lihaoyi","id":934140,"avatar_url":"https://avatars.githubusercontent.com/u/934140?v=3","gravatar_id":"","url":"https://api.github.com/users/lihaoyi","html_url":"https://github.com/lihaoyi","followers_url":"https://api.github.com/users/lihaoyi/followers","following_url":"https://api.github.com/users/lihaoyi/following{/other_user}","gists_url":"https://api.github.com/users/lihaoyi/gists{/gist_id}","starred_url":"https://api.github.com/users/lihaoyi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lihaoyi/subscriptions","organizations_url":"https://api.github.com/users/lihaoyi/orgs","repos_url":"https://api.github.com/users/lihaoyi/repos","events_url":"https://api.github.com/users/lihaoyi/events{/privacy}","received_events_url":"https://api.github.com/users/lihaoyi/received_events","type":"User","site_admin":false},"created_at":"2016-01-31T00:47:55Z","updated_at":"2016-01-31T00:47:55Z","body":"I cannot reproduce this either on master or on the last published version 0.5.2\r\n```scala\r\nhaoyi-mbp:Ammonite haoyi$ sbt repl/test:run\r\n[info] Loading global plugins from /Users/haoyi/.sbt/0.13/plugins\r\n[info] Loading project definition from /Users/haoyi/Dropbox (Personal)/Workspace/Ammonite/project\r\n[info] Set current project to ammonite (in build file:/Users/haoyi/Dropbox%20(Personal)/Workspace/Ammonite/)\r\n[info] Running ammonite.repl.TestMain\r\nLoading...\r\nWelcome to the Ammonite Repl 0.5.3-SNAPSHOT\r\n(Scala 2.11.7 Java 1.8.0_25)\r\n@ load.ivy(\r\n@ load.ivy(\"com.chuusai\" %% \"shapeless\" % \"2.1.0\")\r\n:: loading settings :: url = jar:file:/Users/haoyi/.ivy2/cache/org.apache.ivy/ivy/jars/ivy-2.4.0.jar!/org/apache/ivy/core/settings/ivysettings.xml\r\n:: resolving dependencies :: com.chuusai#shapeless_2.11-caller;working\r\n\tconfs: [default]\r\n\tfound com.chuusai#shapeless_2.11;2.1.0 in chain-resolver\r\n\tfound org.scala-lang#scala-library;2.11.5 in chain-resolver\r\n\tfound org.scala-lang#scala-compiler;2.11.5 in central\r\n\tfound org.scala-lang#scala-reflect;2.11.5 in chain-resolver\r\n\tfound org.scala-lang.modules#scala-xml_2.11;1.0.3 in chain-resolver\r\n\tfound org.scala-lang.modules#scala-parser-combinators_2.11;1.0.3 in chain-resolver\r\n\r\n:: problems summary ::\r\n:::: ERRORS\r\n\tunknown resolver sbt-chain\r\n\r\n\tunknown resolver sbt-chain\r\n\r\n\tunknown resolver sbt-chain\r\n\r\n\tunknown resolver sbt-chain\r\n\r\n\tunknown resolver sbt-chain\r\n\r\n\r\n:: USE VERBOSE OR DEBUG MESSAGE LEVEL FOR MORE DETAILS\r\n\r\n@ shapeless.Witness(1)\r\nres1: AnyRef with shapeless.Witness{type T = Int(1)} = cmd1$fresh$macro$1$1@78f3e63b\r\n@ Bye!\r\n[success] Total time: 54 s, completed Jan 30, 2016 4:46:56 PM\r\nhaoyi-mbp:Ammonite haoyi$ ~/amm\r\nLoading...\r\nWelcome to the Ammonite Repl 0.5.2\r\n(Scala 2.11.7 Java 1.8.0_25)\r\nhaoyi-Ammonite@ load.ivy(\"com.chuusai\" %% \"shapeless\" % \"2.1.0\")\r\n:: loading settings :: url = jar:file:/Users/haoyi/amm!/org/apache/ivy/core/settings/ivysettings.xml\r\n:: resolving dependencies :: com.chuusai#shapeless_2.11-caller;working\r\n\tconfs: [default]\r\n\tfound com.chuusai#shapeless_2.11;2.1.0 in chain-resolver\r\n\tfound org.scala-lang#scala-library;2.11.5 in chain-resolver\r\n\tfound org.scala-lang#scala-compiler;2.11.5 in central\r\n\tfound org.scala-lang#scala-reflect;2.11.5 in chain-resolver\r\n\tfound org.scala-lang.modules#scala-xml_2.11;1.0.3 in chain-resolver\r\n\tfound org.scala-lang.modules#scala-parser-combinators_2.11;1.0.3 in chain-resolver\r\n\r\nhaoyi-Ammonite@ shapeless.Witness(1)\r\nres1: AnyRef with shapeless.Witness{type T = Int(1)} = cmd1$fresh$macro$1$1@3020f22\r\n```"}}