how far does eval go when module gets compiled?

[Matt Wette]

When a module is compiled to generate a .go file is it possible to know 
(predict) what will be evaluated?

For example

(define-module (foo) #:export (bar))

(define bar (+ 3 4))

Is the “+” executed at compile time or at load time?

Matt