Possible oversight with postfix "type" keyword? about cppfront

[hsutter]

Good points, and I think most of your questions will be answered when I implement classes and namespaces.

Briefly for now, they will look something like this:

my_company: namespace = {

    my_type: <T: type is X> type = {
        // ...
    }

}

For more about is X please see P2392: Pattern matching using is and as such as section 2.1.2, and my CppCon 2021 talk about it.

[jcanizales]

Briefly for now, they will look something like this:

my_company: namespace = {

    my_type: <T: type is X> type = {
        // ...
    }

}

A comment about that proposed syntax is that, unless you're planning to ban adding names to the same namespace in different files (or in different sections of a same file), this would make it look like the whole namespace is being re-declared and replaced:

my_company: namespace = {
    type_1: type = {
        // ...
    }
}
// ...
my_company: namespace = {
    type_2: type = {
        // ...
    }
}