Bump Whippet

This commit is contained in:
Smaug123
2025-04-13 21:09:12 +01:00
parent df6079e763
commit 8535481e0d
7 changed files with 6 additions and 13 deletions

View File

@@ -512,7 +512,7 @@ module internal ShibaGenerator =
$"expected field in record %s{record.Name.idText} to have a name, but it did not"
| Some ident -> SynLongIdent.create [ ident ], SynExpr.createIdent $"arg%i{i}"
)
|> AstHelper.instantiateRecord
|> SynExpr.createRecord None
|> SynExpr.applyFunction (SynExpr.createIdent "Ok")
let defaultOf =