racket - サブモジュールの構造体定義はメイン モジュールで正しく提供および要求されますが、ゲッターはメイン モジュールの相互作用領域では機能しません

Question

サブモジュール「accounts.rkt」には、次のものがあります。

#lang racket

(provide account)

(struct account (owner type amount) #:transparent)

メインモジュール「mainprogram.rkt」には、次のものがあります。

#lang racket

(require "accounts.rkt")

(define f (account "Jim" "Ledger" 123.45))

f5 キーを押して、インタラクション エリアで次の操作を行います。

> f
(account "Jim" "Ledger" 123.45)
> (account-owner f)
account-owner undefined;
cannot reference an identifier before its definition

構造体ゲッターが機能しないのはなぜですか? ラケット 5.3.6

Answer 1

によって定義されたすべての機能をprovide提供する.struct-outstruct

#lang racket

(provide (struct-out account))

(struct account (owner type amount) #:transparent)

これにより、、、、account?および(および) が提供されaccount-ownerます。account-typeaccount-amountaccount