Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Spicy: Update for https://github.com/zeek/spicy/pull/1738.

Browse source
This commit is contained in:
Robin Sommer 2024-05-13 09:25:37 +02:00
parent a9649026ae
commit 747e26297b
No known key found for this signature in database
GPG key ID: D8187293B3FFE5D0
2 changed files with 6 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
auxil/spicy

@ -1 +1 @@
Subproject commit 92f76542eebfcc24b0212aa6c63a3b7af1a0f840
Subproject commit 2f513be28536067afb1c6f60eaa2fbca01b0ce7e

11
src/spicy/runtime-support.h
View file

@ -7,7 +7,6 @@
#pragma once
#include <limits>
#include <memory>
#include <optional>
#include <ostream>
#include <string>
@ -489,8 +488,8 @@ template<typename T>
ValPtr to_val(const hilti::rt::Vector<T>& v, const TypePtr& target);
template<typename T>
ValPtr to_val(const std::optional<T>& t, const TypePtr& target);
template<typename T>
ValPtr to_val(const hilti::rt::DeferredExpression<T>& t, const TypePtr& target);
template<typename T, typename E>
ValPtr to_val(const hilti::rt::DeferredExpression<T, E>& t, const TypePtr& target);
template<typename T>
ValPtr to_val(hilti::rt::integer::safe<T> i, const TypePtr& target);
template<typename T>
@ -519,13 +518,13 @@ inline ValPtr to_val(const std::optional<T>& t, const TypePtr& target) {
}
/**
* Converts a Spicy-side DeferredExpression<T> value to a Zeek value. Such
* Converts a Spicy-side DeferredExpression<T,E> value to a Zeek value. Such
* result values are returned by the ``.?`` operator. If the result is not
* set, this will convert into nullptr (which the tuple-to-record to_val()
* picks up on).
*/
template<typename T>
inline ValPtr to_val(const hilti::rt::DeferredExpression<T>& t, const TypePtr& target) {
template<typename T, typename E>
inline ValPtr to_val(const hilti::rt::DeferredExpression<T, E>& t, const TypePtr& target) {
try {
return to_val(t(), target);
} catch ( const hilti::rt::AttributeNotSet& ) {