-- -*- coding: utf-8 -*-

{-
   Test for bug #15890. Ctags and JFlex do not agree on line
   numbering. JFlex regards \u000B, \u000C, \u0085, \u2028 and \u2029
   as line terminator, whereas ctags doesn't. If one of these
   characters occurred in a file, definitions that came after it would
   not be recognized as definitions by the xrefs, since the line
   numbers didn't match what ctags returned.
-}

-- This line contains \u000B: 

-- This line contains \u000C: 

-- This line contains \u0085: …

-- This line contains \u2028: 


-- This line contains \u2029: 


{-
   Now add a definition for the tests to check.
-}

bug15890 x = x + 1