Skip to content

fix(ssa): Empty array of higher order functions #8677

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
vezenovm wants to merge 13 commits into from
Closed

fix(ssa): Empty array of higher order functions #8677

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
4fe4330
enable merging blocks with LIFO in apply function
vezenovm May 23, 2025
304f985
remove ssa.txt
vezenovm May 23, 2025
34aa982
Merge branch 'master' into mv/apply-func-dynmaic-input
vezenovm May 23, 2025
a0d3031
enable defunctionalize to work on higher order funcs in arrays
vezenovm May 23, 2025
fb60330
cleanup
vezenovm May 23, 2025
eb58702
add test for empty array accurately changing the type
vezenovm May 23, 2025
8b4cd72
snaps
vezenovm May 23, 2025
6a5237f
Merge branch 'mv/apply-func-dynmaic-input' into mv/lambda-from-array-2
vezenovm May 23, 2025
86b7da9
remove calls to functions as values
vezenovm May 23, 2025
e15bdd7
snaps
vezenovm May 23, 2025
712d38c
Merge branch 'mv/lambda-from-array-2' into mv/empty-array-of-lambdas
vezenovm May 23, 2025
625bd76
update comments
vezenovm May 23, 2025
722e327
cargo mft
vezenovm May 23, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions compiler/noirc_evaluator/src/ssa/ir/types.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -185,6 +185,11 @@ impl Type {
Type::Numeric(NumericType::NativeField)
}

/// Returns whether the `Type` represents a [native field numeric type][NumericType::NativeField].
pub fn is_field(&self) -> bool {
matches!(self, Type::Numeric(NumericType::NativeField))
}

/// Creates the type of an array's length.
pub fn length_type() -> Type {
Type::unsigned(SSA_WORD_SIZE)
Expand Down
Loading
Loading