create new types in macro?

[arily]

Hi,
I am trying to make a 0 runtime serializer/deserializer with ts-macros, but I am running into several problems.

here's a example usage

interface Extern {
  number: number,
  text: string,
  bool: boolean,
  something: {
    deep: boolean,
    very: {
      deep: string
    }
  }
}

const test: Extern = {
  something: {
    deep: true,
    very: {
      deep: 'very deep indeed'
    }
  },
  number: 12,
  bool: false,
  text: 'not true',
}

// one layer deep
const sr1 = $serialize!(test)
const reverse = $deserialize!<typeof sr1>(sr1 as any)
console.log('text =', reverse.number)

// deep
const t = $serialize!<Flatten<Extern>>(test)
console.log('t.something.very.deep =', t[$offset!<Extern, Flatten<Extern>>(t, (t) => t.something.very.deep)])

will be transformed into:

const test = {
    something: {
        deep: true,
        very: {
            deep: 'very deep indeed'
        }
    },
    number: 12,
    bool: false,
    text: 'not true',
};
const sr1 = [test.number, test.text, test.bool, test.something];
const reverse = { 'number': sr1[0], 'text': sr1[1], 'bool': sr1[2], 'something': sr1[3] };
console.log('number =', reverse.number);
const t = [test.number, test.text, test.bool, test.something.deep, test.something.very.deep];
console.log('t.something.very.deep =', t[4]);

executed result:

number = 12
t.something.very.deep = very deep indeed

here are two problems I ran into:

I have to create these types before-hand like $offset!<Extern, Flatten<Extern>> instead of let ts infer what passed in.
I tried create new types inside of macros, and they don't work.

$macro<T>(input: T) {
  type flatten = Flatten<T> // not working
}

I also tried to use type resolver but can't get it to work.

and with current implementation I have to use same identifier for the offset calculation.
for example

const t2 = $serialize!<Flatten<Extern>>(test)
console.log('t.something.very.deep =', t2[$offset!<Extern, Flatten<Extern>>(t2, (t) => t.something.very.deep)])

this will not work.

reprod: https://github.com/arily/serialize

[GoogleFeud]

Hi, sorry for the late response, it seems like ts-macros isn't able to get the type resolved by Flatten, this will be fixed soon!