tag:blogger.com,1999:blog-3083788237966827171.post2698112983666478561..comments2023-11-03T04:16:02.546-07:00Comments on Jesper's Blog: HList in ScalaJesper Nordenberghttp://www.blogger.com/profile/07589508061874776093noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-3083788237966827171.post-25034633678307845402010-04-08T00:10:54.878-07:002010-04-08T00:10:54.878-07:00Ah, I just found your later posts on the subject!Ah, I just found your later posts on the subject!Tom Crocketthttps://www.blogger.com/profile/08187984533973895431noreply@blogger.comtag:blogger.com,1999:blog-3083788237966827171.post-73892355835213541122010-04-08T00:03:24.514-07:002010-04-08T00:03:24.514-07:00I just tried this out on the 2.8 nightly build... ...I just tried this out on the 2.8 nightly build... unfortunately it seems that while the "illegal cyclic reference" ticket you mentioned has been closed, the type inferencer is no longer even able to get through the second example:<br /><br />scala> append(true :: hnil, 10 :: hnil).tail.head * 3<br />:25: error: could not find implicit value for parameter fn: Appender[HCons[Boolean,HNil],HCons[Int,HNil],HCons[Boolean,HNil]#Append[HCons[Int,HNil]]]<br /> append(true :: hnil, 10 :: hnil).tail.head * 3<br /><br />Have you found a way to make this work in 2.8?Tom Crocketthttps://www.blogger.com/profile/08187984533973895431noreply@blogger.comtag:blogger.com,1999:blog-3083788237966827171.post-4498238531474796032010-01-25T23:58:38.137-08:002010-01-25T23:58:38.137-08:00That's a very interesting thing very well expl...That's a very interesting thing very well explained.<br /><br />Cool stuff !Marius Danciuhttps://www.blogger.com/profile/11285466988960120734noreply@blogger.com