;;; (C) 2008-2009 Dr. Gergo ERDI <http://gergo.erdi.hu/>

(in-package :alef)

(defparameter *fact-prog*
  `(,@*library*
    
    (declare one () int)
    (define one () 1)
    
    (define inc (step) (lambda (x) (+ step x)))
    (define 1+ (x) (+ x 1))
         
    (define fact (0) 1)
    (define fact (n) (* n (fact (- n 1))))

    (define fact-test (n)
      (let ((nats (cons 0 (map 1+ nats))))
        (take n (map fact nats))))
         
    (define start ()
      (fact-test 12))))

(parse-and-run *fact-prog*)
(compile-program "/home/cactus/prog/lisp/alef/dotnet-compiler/Alef-dotnet/fact.cs" *fact-prog*)