[Haskell-cafe] Alex Lexer: Trying to get rid of "Alex"

[Amit Deshwar]

Hi Haskell-cafe

My problem: I'm trying to obtain the current position of the lexer once it
reaches the end of the file (line and row number).
I'm trying to do this in a function:

getEndPosition = do
(a,b,c) <- alexGetInput
return a

Unfortunately, the type of a is 'Alex AlexPosn' instead of just 'AlexPosn'
How do I strip the Alex so I'm left with just a AlexPosn object?

Thanks,

Amit Deshwar
University of Calgary

[Bernie Pope]

On 23 February 2010 20:15, Amit Deshwar <amit.d...@gmail.com> wrote:
> Hi Haskell-cafe
> My problem: �I'm trying to obtain the current position of the lexer once it
> reaches the end of the file (line and row number).
> I'm trying to do this in a function:
> getEndPosition = do
> ��(a,b,c) <- alexGetInput
> ��return a
>
> Unfortunately, the type of a is 'Alex AlexPosn' instead of just 'AlexPosn'
> How do I strip the Alex so I'm left with just a AlexPosn object?

Hi Amit,

Are you sure about the type of a?

It looks like you are using the "monad" wrapper, described here:
http://www.haskell.org/alex/doc/html/wrappers.html

If that is true, then:
alexGetInput :: Alex AlexInput
and
type AlexInput = (AlexPosn, Char, String)

>From that we can infer from your code:
getEndPosition :: Alex AlexPosn
and thus:
a :: AlexPosn

If you want to manipulate the value bound to a, you can simply apply a
function to it in the body of getEndPosition, and return the result of
that application (still inside the Alex type). Or you can use the
function:
runAlex :: String -> Alex a -> Either String a

Cheers,
Bernie.
_______________________________________________
Haskell-Cafe mailing list
Haskel...@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe