[ fix ] Add cast localVars to List in RunElab

src/TTImp/Elab/RunElab.idr

@@ -274,7 +274,7 @@ elabScript rig fc nest env script@(NDCon nfc nm t ar args) exp
              ty <- getTerm gty
              scriptRet (Just $ map rawName $ !(unelabUniqueBinders env ty))
     elabCon defs "LocalVars" [<]
-        = scriptRet vars
+        = scriptRet (the (List Name) (cast vars))
     elabCon defs "GenSym" [<str]
         = do str' <- evalClosure defs str
              n <- genVarName !(reify defs str')