mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Solve generated goals for signatures
This commit is contained in:
parent
ca17f7f6df
commit
381612d4f1
@ -1163,6 +1163,8 @@ checkSignature sig =
|
||||
forM_ (P.sigFunParams sig) \f ->
|
||||
addParamFun =<< checkParameterFun f
|
||||
|
||||
proveModuleTopLevel
|
||||
|
||||
|
||||
|
||||
checkDecl :: Bool -> P.Decl Name -> Maybe Text -> InferM ()
|
||||
|
Loading…
Reference in New Issue
Block a user