#include <srts/stratego.h>
#include "stratego-lib-common.h"

ATerm SSL_get_list_length(ATerm term)
{
  ATermList list = NULL;
  ATerm result = NULL;

  if(!ATisList(term)) {
    _fail(term);
  }

  list = (ATermList) term;
  result = (ATerm) ATmakeInt(ATgetLength(term));
  return result;
}

#include <srts/stratego.h>
#include "stratego-lib-common.h"

ATerm SSL_get_list_length(ATerm term)
{
  ATermList list = NULL;
  ATerm result = NULL;

  if(!ATisList(term)) {
    _fail(term);
  }

  list = (ATermList) term;
  result = (ATerm) ATmakeInt(ATgetLength(list));
  return result;
}

Fix in native implementation of length strategy: ATgetLength should be applied to an ATermList.
Fix in native implementation of length strategy: ATgetLength should be
applied to an ATermList.


svn path=/strategoxt/trunk/; revision=16203
