Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

haskell-like syntax for o'caml

1 view
Skip to first unread message

Hal Daume III

unread,
Jun 18, 2002, 2:30:52 PM6/18/02
to
Hi all,

I was wondering if someone had developed a Haskell-like lexer/parser
frontend for O'Caml. As I understand it, the lexer/parser on O'Caml is
replacable. By "Haskell-like" I mean that it uses layout to get rid of
all the "val" and "fun" things; perhaps changing some other stuff too...

Please reply via email (or at least both email and post), as my news
server is very flaky about picking up messages from clf...

- Hal

--
Hal Daume III

"Computer science is no more about computers | hda...@isi.edu
than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume

Andreas Rossberg

unread,
Jun 19, 2002, 5:57:42 AM6/19/02
to
Hal Daume III wrote:
>
> I was wondering if someone had developed a Haskell-like lexer/parser
> frontend for O'Caml. As I understand it, the lexer/parser on O'Caml is
> replacable. By "Haskell-like" I mean that it uses layout to get rid of
> all the "val" and "fun" things; perhaps changing some other stuff too...

Years ago, I wrote a preprocessor that did exactly this, plus recursive
binding group analysis and support for some neat syntactic sugar, like
where clauses, list and array comprehensions, etc. But it wasn't
integrated with the compiler and thus a pain to use, because error
messages for desugared syntax were quite hard to decode and IIRC, OCaml
1 didn't even support #line directives. So I abandoned it. But if you
want, I can dig out the old sources.

- Andreas

--
Andreas Rossberg, ross...@ps.uni-sb.de

"Computer games don't affect kids; I mean if Pac Man affected us
as kids, we would all be running around in darkened rooms, munching
magic pills, and listening to repetitive electronic music."
- Kristian Wilson, Nintendo Inc.

0 new messages