diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-03-23 02:35:00 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-03-23 02:35:00 +0000 |
commit | 57c5658f540c6be79ff53d91c90e85734fdd987e (patch) | |
tree | 7df783c1cfcf0983f395554c7472a25a15109c03 /otherlibs | |
parent | b3e0f2e72a2ed928897fea51b9b9059b895cf36a (diff) | |
download | ocaml-57c5658f540c6be79ff53d91c90e85734fdd987e.tar.gz |
Follow-up on PR#5553
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
-rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 1 | ||||
-rw-r--r-- | otherlibs/labltk/browser/typecheck.ml | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index 78087c80d9..2d4b689477 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -397,6 +397,7 @@ let rec view_signature ?title ?path ?(env = !start_env) ?(detach=false) sign = match e with Syntaxerr.Unclosed(l,_,_,_) -> l | Syntaxerr.Applicative_path l -> l + | Syntaxerr.Variable_in_scope(l,_) -> l | Syntaxerr.Other l -> l in Jg_text.tag_and_see tw ~start:(tpos l.loc_start.Lexing.pos_cnum) diff --git a/otherlibs/labltk/browser/typecheck.ml b/otherlibs/labltk/browser/typecheck.ml index 418d139230..ac861a6f2c 100644 --- a/otherlibs/labltk/browser/typecheck.ml +++ b/otherlibs/labltk/browser/typecheck.ml @@ -139,6 +139,7 @@ let f txt = begin match err with Syntaxerr.Unclosed(l,_,_,_) -> l | Syntaxerr.Applicative_path l -> l + | Syntaxerr.Variable_in_scope(l,_) -> l | Syntaxerr.Other l -> l end | Typecore.Error (l,err) -> |