00001 /************************************************************************ 00002 ************************************************************************ 00003 FAUST compiler 00004 Copyright (C) 2003-2004 GRAME, Centre National de Creation Musicale 00005 --------------------------------------------------------------------- 00006 This program is free software; you can redistribute it and/or modify 00007 it under the terms of the GNU General Public License as published by 00008 the Free Software Foundation; either version 2 of the License, or 00009 (at your option) any later version. 00010 00011 This program is distributed in the hope that it will be useful, 00012 but WITHOUT ANY WARRANTY; without even the implied warranty of 00013 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00014 GNU General Public License for more details. 00015 00016 You should have received a copy of the GNU General Public License 00017 along with this program; if not, write to the Free Software 00018 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. 00019 ************************************************************************ 00020 ************************************************************************/ 00021 00022 00023 00024 #ifndef _SIGTYPERULES_ 00025 #define _SIGTYPERULES_ 00026 00027 #include "signals.hh" 00028 #include "sigtype.hh" 00029 00030 00031 //-------------------------------------------------------------------------- 00032 // NULLENV : empty type environment (also property key for closed term type) 00033 00034 extern Tree NULLENV; 00035 extern bool gVectorSwitch; 00036 00037 00038 //-------------------------------------------------------------------------- 00039 // addEnv : add a new binding to a type environment 00040 00041 Tree addEnv(Tree var, Type tp, Tree env); 00042 00043 00044 //-------------------------------------------------------------------------- 00045 // searchEnv : search var binding in env 00046 00047 Type searchEnv(Tree env, Tree var); 00048 00049 00050 //-------------------------------------------------------------------------- 00051 // getSigType : return or infere the type of a term 00052 00053 Type getSigType(Tree term); 00054 00055 00056 //-------------------------------------------------------------------------- 00057 // typeAnnotation : annotate a term with type information 00058 00059 void typeAnnotation(Tree term); 00060 00061 00062 //-------------------------------------------------------------------------- 00063 // sigType : return the type information of a term 00064 00065 //Type sigType(Tree term); 00066 00067 #endif 00068