// SPDX-FileCopyrightText: 2025 The Project Pterodactyl Developers
//
// SPDX-License-Identifier: MPL-2.0

import Foundation

struct LocalAnalysis {
	let depth: Int
	
	init(depth: Int = 0) {
		self.depth = depth
	}
	
	var next: Self {
		Self(depth: depth + 1)
	}
	
	func fresh(type: AsyncThunk<Value.Type_>) -> Value {
		let boundary: AsyncThunk<Value.Boundary> = AsyncThunk {
			await Value.Boundary(type: type.value(), value: nil)
		}

		return Value.shift(
			neutral: Value.Neutral(
				head: .local(level: depth),
				spine: [],
				boundary: boundary
			)
		)
	}
}