Review comments

inferno-core/src/Inferno/Eval.hs

@@ -197,12 +197,13 @@ eval env@(localEnv, pinnedEnv) expr = case expr of
     valMap <- foldrM (\(f, e, _) vs -> eval env e >>= \v -> return ((f, v) : vs)) [] fs
     return $ VRecord $ Map.fromList valMap
   RecordField_ (Ident r) f -> do
-    eval env (Var undefined Nothing LocalScope $ Expl $ ExtIdent $ Right r) >>= \case
-      VRecord fs -> do
+    case Map.lookup (ExtIdent $ Right r) localEnv of
+      Just (VRecord fs) -> do
         case Map.lookup f fs of
           Just v -> return v
           Nothing -> throwM $ RuntimeError "record field not found"
-      _ -> throwM $ RuntimeError "failed to match with a record"
+      Just _ -> throwM $ RuntimeError "failed to match with a record"
+      Nothing -> throwM $ RuntimeError $ show (ExtIdent $ Right r) <> " not found in the unpinned env"
   One_ e -> eval env e >>= return . VOne
   Empty_ -> return $ VEmpty
   Assert_ cond e ->