info bigloo

25.1.6.1 Atomic types

The atomic types are the pre-existing ones, defined in the standard Bigloo's library.

<atomic-type> → <bigloo-type> 
     | <c-type>                                   
<bigloo-type> → obj procedure 
     | pair | nil | pair-nil | bint          
     | blong | bbool | cnst          
     | bstring | bchar | real          
     | vector | tvector | struct        
     | tstruct | output-port | input-port    
     | binary-port | unspecified | symbol 
     | foreign       
<c-type> → cobj char 
     | uchar | short    
     | ushort | int | uint | long
     | ulong | slong | bool | string 
     | file | double | float | void 
     | function

The type obj denotes the super type of all Bigloo types (i.e., all Bigloo types, such as procedure, pair, ...) is an obj. The type cobj denotes the super of all C types (i.e., all preexisting C types such as char, uchar, schar, short, ...). The type pair-nil denotes values that are either pairs or the () value.