Date: Mon, 24 May 93 10:08:51 +0200
From: marche@lri.fr
Message-Id: <9305240808.AA02830@sun8.lri.fr>
To: caml-list@margaux
Subject: empty list
Hello caml-lighters,
For my own program, I have written a small "list" C module, since
this may be of a general interest, I send it to the list...
-----------------  camllist.h  ----------------
/***************************************************************************
Le type list de CAML : interface
Projet:                NORMCOMP
Auteur(s):             Claude March\'e
Nom du fichier:        camllist.h
Creation:              27 jan 93
Derniere Modification: 02 fev 93
***************************************************************************/
#if !defined(CAMLLIST_H)
#include <mlvalues.h>
typedef value liste;
/*=============
Constructeurs 
=============*/
liste liste_vide(void);
liste construit_liste(value x,liste l);
/*===============
Observateurs
===============*/
#define EST_VIDE(l)          (!Tag_val(l))
#define N_EST_PAS_VIDE(l)    (Tag_val(l))
#define TETE_DE_LISTE(l)     (Field(l,0))
#define QUEUE_DE_LISTE(l)    (Field(l,1))
/*========================
Fonctions sur les listes 
========================*/
liste concatene_listes(liste l1,liste l2);
#define CAMLLIST_H
#endif
-----------------  camllist.c  ----------------
/***************************************************************************
Le type list de CAML : corps
Projet:                NORMCOMP
Auteur(s):             Claude Marche'
Nom du fichier:        camllist.c
Creation:              27 jan 93
Derniere Modification: 05 fev 93
***************************************************************************/
#include "camllist.h"
#include <alloc.h>
#include <memory.h>
/*=============
Constructeurs
=============*/
#define NIL_tag 0
#define CONS_tag 1
liste liste_vide(void)
{
  return Atom(NIL_tag);
}
liste construit_liste(value x,liste l)
{
  value m;
  Push_roots(r,2);
  r[0] = x;
  r[1] = l;
  m=alloc(2,CONS_tag);
  Field(m,0) = r[0];
  Field(m,1) = r[1];
  Pop_roots();
  return m;
}
/*============
Observateurs
============*/
/*========================
Fonctions sur les listes
========================*/
liste concatene_listes(liste l1,liste l2)
{
  liste result;
  Push_roots(r,3);
  r[0] = l1;
  r[1] = l2;
  if (N_EST_PAS_VIDE(r[0]))
    {
      r[2] = concatene_listes(QUEUE_DE_LISTE(r[0]),r[1]);
      result = construit_liste(TETE_DE_LISTE(r[0]),r[2]);
    }
  else
    {
      result = r[1];
    }
  Pop_roots();
  return result;
}