Add parameters to the scope-checker

CakeML · Mar 27, 2024 · 77aba46 · 77aba46
1 parent 751d522
commit 77aba46
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pancake/panScopeScript.sml b/pancake/panScopeScript.sml
@@ -95,8 +95,8 @@ End
 
 Definition scope_check_funs_def:
   scope_check_funs fnames [] = NONE ∧
-  scope_check_funs fnames ((fname, _, body)::funs) =
-    let ctxt = <| vars := [] ; funcs := fnames ; fname := fname |> in
+  scope_check_funs fnames ((fname, vshapes, body)::funs) =
+    let ctxt = <| vars := MAP FST vshapes ; funcs := fnames ; fname := fname |> in
       OPTION_CHOICE (scope_check_prog ctxt body)
                     (scope_check_funs fnames funs)
 End