Revision 21485807
Added by Xavier Thirioux almost 11 years ago
| src/corelang.mli | ||
|---|---|---|
| 149 | 149 |
Main_not_found |
| 150 | 150 |
| Main_wrong_kind |
| 151 | 151 |
| No_main_specified |
| 152 |
| Unbound_symbol of ident |
|
| 153 |
| Already_bound_symbol of ident |
|
| 152 | 154 |
|
| 153 |
exception Error of error |
|
| 154 |
exception Unbound_type of type_dec_desc*Location.t |
|
| 155 |
exception Already_bound_label of label*type_dec_desc*Location.t |
|
| 155 |
exception Error of error * Location.t |
|
| 156 | 156 |
|
| 157 | 157 |
val mktyp: Location.t -> type_dec_desc -> type_dec |
| 158 | 158 |
val mkclock: Location.t -> clock_dec_desc -> clock_dec |
Also available in: Unified diff
- added struct types declaration
- added constant definition with a struct type
- added checking for multiple definitions of nodes (behavior was buggy)
- better and more uniform error messages
for undefined/already defined symbols
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@186 041b043f-8d7c-46b2-b46e-ef0dd855326e