Method typeAry

chapter23/src/main/java/com/seaofnodes/simple/Parser.java:961–973

( Type t, boolean efinal )

    // Make an array type of t
    private TypeMemPtr typeAry( Type t, boolean efinal ) {
        if( t instanceof TypeMemPtr tmp && tmp.notNull()  )
            throw error("Arrays of reference types must always be nullable");
        String tname = "[]"+t.str();
        TypeMemPtr ta = (TypeMemPtr)TYPES.get(tname);
        if( ta==null )
            // Remember final version
            TYPES.put(tname, ta = TypeMemPtr.make( TypeStruct.makeAry(tname,TypeInteger.U32,_code.getALIAS(),t,_code.getALIAS(),true) ));
        Field elem = ta._obj.field("[]");
        if( elem._final == efinal )
            return ta;
        return TypeMemPtr.make( ta._obj.replace(elem.makeFrom(efinal)));
    }

    // A function type is `{ type... -> type }` or `{ type }`.
    private Type typeFunPtr() {