This page is no longer maintained — Please continue to the home page at www.scala-lang.org

Re: Re: Could quasiquotes do this?

1 reply
Sun, 2012-02-05, 21:15
milessabin
Joined: 2008-08-11,
User offline. Last seen 33 weeks 3 days ago.

On Sun, Feb 5, 2012 at 8:12 PM, Eugene Burmako wrote:
> Type-level liar?

Something that typechecks iff it doesn't typecheck.

Cheers,

Miles

Top
Sun, 2012-02-05, 21:41
#1
Eugene Burmako
Joined: 2011-09-17,
User offline. Last seen 42 years 45 weeks ago.
Re: Could quasiquotes do this?

Well, when macros are a part of the typechecker, the definition of
"typecheck" gets changed. Nothing paradoxical here, from what I think.

On Feb 5, 9:15 pm, Miles Sabin wrote:
> On Sun, Feb 5, 2012 at 8:12 PM, Eugene Burmako wrote:
> > Type-level liar?
>
> Something that typechecks iff it doesn't typecheck.
>
> Cheers,
>
> Miles
>
> --
> Miles Sabin
> tel: +44 7813 944 528
> gtalk: mi...@milessabin.com
> skype: milessabin
> g+:http://www.milessabin.comhttp://twitter.com/milessabinhttp://www.chuusai.com/

Top

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland