178
179
180
181
182
183
184
185
186
187
188
189
190
191
|
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
|
+
+
+
+
+
+
|
// StringId
////////////////////////////
RegisterBuiltinFunc< Eager< TypeWrapper< StringId > > ( string ) >( e, "MkStringId"_sid,
[]( string s ) -> TypeWrapper< StringId >
{
return s;
} );
RegisterBuiltinFunc< Eager< TypeWrapper< StringId > > ( uint32_t ) >( e, "MkStringId"_sid,
[]( uint32_t id ) -> TypeWrapper< StringId >
{
return id;
} );
////////////////////////////
// Hole
////////////////////////////
RegisterBuiltinFunc< Intrinsic< TypeWrapper< Hole > ( TypeWrapper< StringId >, TypeWrapper< StringId >, uint8_t ) > >( e, "MkHole"_sid,
[]( const auto& c, const Value& nameVal, const Value& kindVal, const Value& bhvVal ) -> Value
{
|