CTFE UFCs?

[bitwise via Digitalmars-d-learn]

Hi.

I've been building a reflection library for D, but I've hit a snag. If  
anyone can help out, it would be much appreciated =D

In the example below, the second line of main() retrieves the reflection  
of a base class. Everything is well and good. Now, I am trying to come up  
with a more pleasant syntax, which is the code that is commented out.

When I uncomment the nicer syntax, I get the errors below:

[1] Error: variable refl cannot be read at compile time
[2] Error: CTFE failed because of previous errors in base


class Base {
     double d = 0.4;
}

class Test : Base {
     int x = 4;
}

abstract class Refl {
     @property abstract string name() const;
     @property abstract string baseName() const;
}

class ClassRefl(T) : Refl {
     @property override string name() const {
         return T.stringof;
     }

     @property override string baseName() const {
         alias BaseClassesTuple!T base_types;
         return base_types[0].stringof;
     }
}

const(Refl) reflect(T)() {
     static const(Refl) refl = new ClassRefl!T;
     return refl;
}

const(Refl) reflect(string name)() {
     mixin("return reflect!(" ~ name ~ ");");
}

//const(Refl) base(const(Refl) refl) {
//    return reflect!(refl.baseName());        ERROR  [1]
//}

void main()
{
     static const(Refl) refl = reflect!Test;

     static const(Refl) baseRefl = reflect!(refl.baseName());

     //static const(Refl) baseRefl = refl.base;       ERROR  [2]

     writeln(refl.name);
     writeln(baseRefl.name);
}


If anyone can offer a work around it would be much appreciated.