/* -*- mode: objc; coding: utf-8 -*- */
/* Toilet Lisp, a Common Lisp subset for the Étoilé runtime.
 * Copyright (C) 2008  Matthias Andreas Benkard.
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or (at
 * your option) any later version.
 *
 * This program is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */

#import "MLKCons.h"
#import "MLKInterpretedClosure.h"
#import "MLKInterpreter.h"
#import "MLKPackage.h"
#import "runtime-compatibility.h"
#import "util.h"

#import <Foundation/NSDictionary.h>
#import <Foundation/NSSet.h>


static MLKSymbol *PROGN;


@implementation MLKInterpretedClosure
+(void) initialize
{
  MLKPackage *cl;
  cl = [MLKPackage findPackage:@"COMMON-LISP"];
  PROGN = [cl intern:@"PROGN"];
}

-(id) initWithForm:(MLKSimpleLambdaForm *)form
       environment:(MLKLexicalEnvironment *)lexenv
{
  self = [super init];
  LASSIGN (_environment, lexenv);
  LASSIGN (_form, form);
  return self;
}

-(NSArray *) applyToArray:(NSArray *)arguments
{
  id arglist = [MLKCons listWithArray:arguments];

  MLKLexicalEnvironment *new_environment =
    [MLKLexicalEnvironment environmentWithParent:_environment
                           variables:[NSDictionary dictionaryWithObject:nullify(arglist)
                                                   forKey:nullify([_form lambdaListName])]
                           functions:nil];

  return [_form interpretBodyWithEnvironment:new_environment];
}

-(NSString *) description
{
  return MLKPrintToString(self);
}

-(NSString *) descriptionForLisp
{
  return [NSString stringWithFormat:@"<Interpreted closure @%p>", self];
}

-(void) dealloc
{
  LDESTROY (_environment);
  LDESTROY (_form);
  [super dealloc];
}
@end