WildLife: C:/Users/Dennis/src/lang/Life_start/Life/life-1.02/source/built

00001 /* Copyright 1991 Digital Equipment Corporation.
00002 ** All Rights Reserved.
00003 *****************************************************************/
00004 /*      $Id: built_ins.h,v 1.4 1995/07/27 21:26:56 duchier Exp $         */
00005 
00006 extern void init_built_in_types();
00007 
00008 extern long check_real();
00009 extern long get_real_value();
00010 extern long unify_real_result();
00011 extern void unify_bool_result();
00012 
00013 extern void new_built_in();
00014 
00015 extern long file_exists();
00016 extern void exit_life();
00017 extern long abort_life();
00018 extern long c_abort();
00019 
00020 extern ptr_psi_term stack_nil();
00021 extern ptr_psi_term stack_cons();
00022 extern ptr_psi_term stack_int();
00023 extern ptr_psi_term stack_pair();
00024 extern ptr_psi_term stack_string();
00025 extern ptr_psi_term stack_bytes();
00026 
00027 ptr_psi_term collect_symbols();
00028 
00029 
00030 
00031 /* used by collect_symbols */
00032 
00033 #define least_sel 0
00034 #define greatest_sel 1
00035 #define op_sel 2
00036 
00037 ptr_psi_term makePsiTerm ARGS((ptr_definition x));
00038 ptr_psi_term makePsiList ARGS((GENERIC head, ptr_psi_term (*valueFunc)(), \
00039                                GENERIC (*nextFunc)()));
00040 
00041 /* functions for accessing next and value fields of some structures */
00042 
00043 ptr_psi_term intListValue();
00044 GENERIC intListNext();
00045 ptr_psi_term residListGoal();
00046 GENERIC residListNext();
00047 GENERIC unitListNext ARGS(());
00048 ptr_psi_term unitListValue ARGS(());
00049 void setUnitList ARGS((GENERIC x));
C:/Users/Dennis/src/lang/Life_start/Life/life-1.02/source/built_in.h
