#lang racket

(require (for-syntax "../utilities.rkt"))
(require (prefix-in universe: "universe.rkt"))


(define-syntax (my-animate stx)
  (syntax-case stx ()
    [id
     (identifier? #'id)
     (raise-pyret-error/stx
      "animate: expected a function call, but there are no arguments"
      stx)]
    [(_ arg)
     (syntax/loc stx
       (universe:animate (lambda (n) (arg n))))]
    [(_ arg rest ...)
     (raise-pyret-error/stx
      "the animate function only expects one argument"
      stx)]))
(provide (rename-out [my-animate animate]))
(provide (rename-out [universe:big-bang big-bang]))