Wrong error locations when using unicode characters

[fblanqui]

With

Set : Type.
Prop : Type.
def El : ({|_|} : Set -> Type).
def Prf : ({|_|} : Prop -> Type).
o : Set.
[] El o --> Prop.
{|∀|} : (x : Set -> ({|_|} : ({|_|} : (El x) -> (El o)) -> Prop)).
[v0_X, v1_P] Prf (({|∀|} (v0_X)) (v1_P)) --> (x : (El v0_X) -> (Prf (v1_P x))).

I get:

[ERROR CODE:702]  [tmp/stack.dk] [line:8 column:35] 
Parsing error: Unexpected token '('.

In Emacs, the character 35 is '1'. This is probably due to the fact that Dedukti does not handle Unicode characters.