Revision 3826f8cb
Added by Pierre-Loïc Garoche over 9 years ago
| src/location.ml | ||
|---|---|---|
| 38 | 38 |
Lexing.pos_cnum = 0; |
| 39 | 39 |
} |
| 40 | 40 |
|
| 41 |
let symbol_rloc () = {
|
|
| 42 |
loc_start = Parsing.symbol_start_pos (); |
|
| 43 |
loc_end = Parsing.symbol_end_pos () |
|
| 44 |
} |
|
| 41 |
let symbol_rloc () = |
|
| 42 |
{
|
|
| 43 |
loc_start = Parsing.symbol_start_pos (); |
|
| 44 |
loc_end = Parsing.symbol_end_pos () |
|
| 45 |
} |
|
| 46 |
|
|
| 45 | 47 |
|
| 46 | 48 |
open Format |
| 47 | 49 |
|
Also available in: Unified diff
Solved bug:
- loading lusi
- loading lib in lusi files: "in m" is now "lib m"
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@247 041b043f-8d7c-46b2-b46e-ef0dd855326e