Skip to content

Ensure top-level aspects support parametric functions#15

Merged
vic merged 1 commit intomainfrom
tops
Nov 16, 2025
Merged

Ensure top-level aspects support parametric functions#15
vic merged 1 commit intomainfrom
tops

Conversation

@vic
Copy link
Owner

@vic vic commented Nov 16, 2025

and also funcion-to-module if lib,config,options detected. Related: vic/den#92

See:
vic/den#91 (reply in thread)

and also funcion-to-module if lib,config,options detected.
Related: vic/den#92

See:
vic/den#91 (reply in thread)
Copilot AI review requested due to automatic review settings November 16, 2025 09:10
@vic vic merged commit 6a6d47f into main Nov 16, 2025
5 checks passed
@vic vic deleted the tops branch November 16, 2025 09:12
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR enables top-level aspects to support parametric functions that accept module system arguments (lib, config, options, aspect), addressing issue #92.

Key Changes:

  • Modified type system to distinguish between submodule functions and provider functions at the aspect level
  • Added validation to ensure parametric functions have appropriate module system arguments
  • Updated test case to demonstrate the new functionality with a parametric aspectOne definition

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
nix/types.nix Enhanced aspectsType to accept either submodule functions or providers; added aspectSubmoduleAttrs type with validation logic to verify functions have module system arguments
checkmate.nix Modified test to use parametric function syntax for aspectOne and updated expectations to verify aspect.name is correctly resolved to "aspectOne"

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants