Goose  Diff

Differences From Artifact [d131cbe02a]:

• File bs/g0api/types.h — part of check-in [b81d4242e3] at 2022-06-27 16:56:56 on branch cir-stack-language —
  • cir: allow verification specific code and instructions to be interspersed with regular code again and added a function to filter them out before consuming the code in the interpreter and during codegen
  • verification: better handling of non-representable types that don't involve giving up entirely on verifying the function
  • g0 api: updated it to match the CIR changes
  • prelude: adapted reference verification to the new CIR api
  (user: zlodo size: 2184) [more...]

To Artifact [937843e4ea]:

• File bs/g0api/types.h — part of check-in [8546f1ef75] at 2022-11-17 22:43:21 on branch trunk — g0api:
  • visiblity scopes
  • combined visibility/lifetime scopes
  (user: zlodo size: 2458)

93
94
95
96
97
98
99












100
101
102

    };

    template<>
    struct TypeWrapperTraits< ptr< ReferenceType > >
    {
        static auto typeId() { return "ReferenceType"_sid; }
    };












}

#endif

>
>
>
>
>
>
>
>
>
>
>
>

93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114

    };

    template<>
    struct TypeWrapperTraits< ptr< ReferenceType > >
    {
        static auto typeId() { return "ReferenceType"_sid; }
    };

    template<>
    struct TypeWrapperTraits< ptr< VisibilityScope > >
    {
        static auto typeId() { return "VisibilityScope"_sid; }
    };

    template<>
    struct TypeWrapperTraits< ptr< Scope > >
    {
        static auto typeId() { return "Scope"_sid; }
    };
}

#endif