Skip to content
This repository has been archived by the owner on Nov 18, 2021. It is now read-only.

spec: document that the first argument to a builtin must be elided when it acts as a constraint #863

Closed
myitcv opened this issue Mar 30, 2021 · 1 comment
Closed

spec: document that the first argument to a builtin must be elided when it acts as a constraint #863

myitcv opened this issue Mar 30, 2021 · 1 comment
Labels
Documentation NeedsFix
Milestone
v0.4.x

Comments

@myitcv
Copy link
Contributor

myitcv commented Mar 30, 2021

e.g. for:

package x

import "list"

x: [...int] & list.MinItems(3)
x: [1, 2, 3]
@myitcv myitcv added this to the v0.3.1 milestone Mar 30, 2021
@myitcv myitcv mentioned this issue Mar 30, 2021
Closed
@myitcv myitcv modified the milestones: v0.3.1, v0.3.x Mar 31, 2021
This was referenced Jul 3, 2021
Open
Open
@cueckoo
Copy link

cueckoo commented Jul 3, 2021

This issue has been migrated to cue-lang/cue#863.

For more details about CUE's migration to a new home, please see cue-lang/cue#1078.

@cueckoo cueckoo closed this as completed Jul 3, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
Documentation NeedsFix
Projects
None yet
Milestone
v0.4.x
Development

No branches or pull requests
2 participants
@myitcv @cueckoo