Re: [scala] Re: Type system hackery question (has this been fixed for 2.8?)

[Szymon Jachim]

Is there a chance that this type system feature will to be turned on by default in 2.8?

Szymon

On Thu, Apr 16, 2009 at 10:22 AM, Jesper Nordenberg <megagurka@...> wrote:

Paul Chiusano wrote:

... except I get an error "illegal cyclic reference involving type HListForm". I understand there's a ticket to "Allow recursive type projections" (http://lampsvn.epfl.ch/trac/scala/ticket/1291) but I'm not sure this is the same issue.

Have you tried the -Yrecursion switch?

There's an implementation of HList in Scala at:

http://trac.assembla.com/metascala/browser/src/metascala/HLists.scala

Maybe that can help you.

/Jesper Nordenberg

--
ʎɐqǝ uo pɹɐoqʎǝʞ ɐ ʎnq ı ǝɯıʇ ʇsɐן ǝɥʇ sı sıɥʇ

[Martin Odersky]

On Thu, Apr 16, 2009 at 12:53 PM, Szymon Jachim <sjachim@...> wrote:
> Is there a chance that this type system feature will to be turned on by
> default in 2.8?
>
I doubt it. We still need to think things through thoroughly to be
clear of all the possible consequences before we fiddle with that in
the defaults. And there's lots of other things to do for 2.8. Maybe
sometimes after that...

Cheers

 -- Martin