summaryrefslogtreecommitdiff
path: root/main.ml
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-15 22:22:53 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-15 22:22:53 +0100
commitd044a93f39682268ffca60159bd1a0706d2d6050 (patch)
tree8a3d838b6c5584b9478533c9a38ba416d5d43cad /main.ml
parentee85f525da54e20afe0dc7dd5583c53545dcad81 (diff)
downloadpetitcaml-d044a93f39682268ffca60159bd1a0706d2d6050.tar.gz
petitcaml-d044a93f39682268ffca60159bd1a0706d2d6050.tar.bz2
[petitcaml] Fix even more error localisation problems
Diffstat (limited to 'main.ml')
-rw-r--r--main.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/main.ml b/main.ml
index 14b1197..84b1f33 100644
--- a/main.ml
+++ b/main.ml
@@ -43,7 +43,7 @@ let localisation_expr = function
eprintf "File \"%s\", line 0, characters 0-%d:\n"
!ifile
!ifile_length
- | Some loc when loc.spos.l = loc.spos.l ->
+ | Some loc when loc.spos.l = loc.epos.l ->
eprintf "File \"%s\", line %d, characters %d-%d:\n"
!ifile
loc.spos.l
@@ -54,7 +54,7 @@ let localisation_expr = function
!ifile
loc.spos.l
loc.spos.c
- (loc.spos.c + loc.epos.raw_c - loc.epos.raw_c)
+ (loc.spos.c + loc.epos.raw_c - loc.spos.raw_c)
(* Le main du compilateur :
* Vérification des arguments, du nom du fichier source