Merge pull request #16 from ityspace/patch-1

Fix bug.
This commit is contained in:
Ryan Yin 2023-07-07 11:16:59 +08:00 committed by GitHub
commit 3c62df392f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -242,7 +242,7 @@ args@{ a, b, ... }: a + b + args.c
# 但是要注意命名参数仅绑定了输入的 attribute set默认参数不在其中举例
let
f = { a ? 1, b ? 2, ... }@args: args
f = { a ? 1, b ? 2, ... }@args: args;
in
f {} # 结果是 {},也就说明了 args 中包含默认值