ANNOUNCE: haskell-names-0.1 - Haskell-Cafe - Haskell.org

newer
Roman Numeral Problem

ANNOUNCE: haskell-names-0.1

older
tangential request...

Roman Cheplyaka

20 Jun 2013 20 Jun '13

11:13 a.m.

I am pleased to announce the first public release of haskell-names, a name resolution library for haskell-src-exts AST. Namely, it can do the following: * for a module, compute its interface, i.e. the set of entities exported by the module, together with their original names. * for each name in the module, figure out what it refers to — whether it's bound locally (say, by a where clause) or globally (and then give its origin). Thanks to haskell-packages, this library is fully integrated with Cabal, so that you can easily generate name interfaces for any Cabalized package. See more details in the README: http://documentup.com/haskell-suite/haskell-names This library is based on the code written by Lennart Augustsson in 2010. Little of that code survived, but nevertheless it's been a great help. Roman

Reply

Sign in to reply online Use email software

Show replies by date

Andrew Cowie

21 Jun 21 Jun

2:12 a.m.

On Thu, 2013-06-20 at 18:13 +0300, Roman Cheplyaka wrote:

Namely, it can do the following:

* for a module, compute its interface, i.e. the set of entities exported by the module, together with their original names.

* for each name in the module, figure out what it refers to — whether it's bound locally (say, by a where clause) or globally (and then give its origin).

Is this a step toward being able to automatically derive an API version number [in the SO version sense of the word; ie, has a change happened requiring a version bump?] AfC Sydney

Reply

Sign in to reply online Use email software

Michael Sloan

2:44 a.m.

Roman: Awesome! I'm really glad that this is ready for use! Andrew: I have a tool that's a step towards doing this. Instead of using haskell suite, it uses ghci via hint to query module exports, and then uses TH to reify them. This has the benefit of supporting everything that GHC supports, whereas there are currently some cases that haskell-src-exts can't parse. There's also the issue of supporting declarations generated by template haskell. Here's an example of diffing some of its output: https://github.com/mgsloan/api-compat/blob/master/examples/template-haskell.... The main reason I haven't released the tool is that I was intending to do structural diffs / handle renaming, so it's somewhat unfinished. However I believe it's reasonably usable: instead, the output is just structured in a way that's reasonably amenable to diffing. -Michael On Thu, Jun 20, 2013 at 11:12 PM, Andrew Cowie < andrew@operationaldynamics.com> wrote:

On Thu, 2013-06-20 at 18:13 +0300, Roman Cheplyaka wrote:

...
Namely, it can do the following:

* for a module, compute its interface, i.e. the set of entities exported by the module, together with their original names.

* for each name in the module, figure out what it refers to — whether it's bound locally (say, by a where clause) or globally (and then give its origin).

Is this a step toward being able to automatically derive an API version number [in the SO version sense of the word; ie, has a change happened requiring a version bump?]

AfC Sydney

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

Reply

Sign in to reply online Use email software

AlanKim Zimmerman

3:05 a.m.

I have a feeling the work-in-progress Haskell Refactorer using the GHC API may be able to provide this information through its library interface. When I have some time over the weekend I will have a look. Alan On Fri, Jun 21, 2013 at 8:44 AM, Michael Sloan wrote:

Roman: Awesome! I'm really glad that this is ready for use!

Andrew: I have a tool that's a step towards doing this. Instead of using haskell suite, it uses ghci via hint to query module exports, and then uses TH to reify them. This has the benefit of supporting everything that GHC supports, whereas there are currently some cases that haskell-src-exts can't parse. There's also the issue of supporting declarations generated by template haskell.

Here's an example of diffing some of its output:

https://github.com/mgsloan/api-compat/blob/master/examples/template-haskell....

The main reason I haven't released the tool is that I was intending to do structural diffs / handle renaming, so it's somewhat unfinished. However I believe it's reasonably usable: instead, the output is just structured in a way that's reasonably amenable to diffing.

-Michael

On Thu, Jun 20, 2013 at 11:12 PM, Andrew Cowie < andrew@operationaldynamics.com> wrote:

...
On Thu, 2013-06-20 at 18:13 +0300, Roman Cheplyaka wrote:

...
Namely, it can do the following:

* for a module, compute its interface, i.e. the set of entities exported by the module, together with their original names.

* for each name in the module, figure out what it refers to — whether it's bound locally (say, by a where clause) or globally (and then give its origin).

Is this a step toward being able to automatically derive an API version number [in the SO version sense of the word; ie, has a change happened requiring a version bump?]

AfC Sydney

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

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

Reply

Sign in to reply online Use email software

AlanKim Zimmerman

23 Jun 23 Jun

2:48 p.m.

I took a quick look at this, and came to the conclusion that the scope info is available from GHC, but is not exposed by HaRe at this stage. Rather than chasing something just to show it can be done, I am going to use my limited time for HaRe. By the way, I think buildwrapper generates a summary of a project as as well, in JSON format. Also, for GHC RenamedSource, querying any Name entity will provide the package it came from (via http://www.haskell.org/ghc/docs/7.6.3/html/libraries/ghc-7.6.3/Name.html#v:n... ) e.g. (Data.Generics.Text.gshow, syb-0.4.0:Data.Generics.Text), Alan On Fri, Jun 21, 2013 at 9:05 AM, AlanKim Zimmerman wrote:

I have a feeling the work-in-progress Haskell Refactorer using the GHC API may be able to provide this information through its library interface.

When I have some time over the weekend I will have a look.

Alan

On Fri, Jun 21, 2013 at 8:44 AM, Michael Sloan wrote:

...
Roman: Awesome! I'm really glad that this is ready for use!

Andrew: I have a tool that's a step towards doing this. Instead of using haskell suite, it uses ghci via hint to query module exports, and then uses TH to reify them. This has the benefit of supporting everything that GHC supports, whereas there are currently some cases that haskell-src-exts can't parse. There's also the issue of supporting declarations generated by template haskell.

Here's an example of diffing some of its output:

https://github.com/mgsloan/api-compat/blob/master/examples/template-haskell....

The main reason I haven't released the tool is that I was intending to do structural diffs / handle renaming, so it's somewhat unfinished. However I believe it's reasonably usable: instead, the output is just structured in a way that's reasonably amenable to diffing.

-Michael

On Thu, Jun 20, 2013 at 11:12 PM, Andrew Cowie < andrew@operationaldynamics.com> wrote:

...
On Thu, 2013-06-20 at 18:13 +0300, Roman Cheplyaka wrote:

...
Namely, it can do the following:

* for a module, compute its interface, i.e. the set of entities exported by the module, together with their original names.

* for each name in the module, figure out what it refers to — whether it's bound locally (say, by a where clause) or globally (and then give its origin).

Is this a step toward being able to automatically derive an API version number [in the SO version sense of the word; ie, has a change happened requiring a version bump?]

AfC Sydney

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

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

Reply

Sign in to reply online Use email software

Roman Cheplyaka

21 Jun 21 Jun

5 a.m.

* Andrew Cowie [2013-06-21 16:12:55+1000]

On Thu, 2013-06-20 at 18:13 +0300, Roman Cheplyaka wrote:

...
Namely, it can do the following:

* for a module, compute its interface, i.e. the set of entities exported by the module, together with their original names.

* for each name in the module, figure out what it refers to — whether it's bound locally (say, by a where clause) or globally (and then give its origin).

Is this a step toward being able to automatically derive an API version number [in the SO version sense of the word; ie, has a change happened requiring a version bump?]

Yes, this sounds like a good weekend project for someone interested. Roman

Reply

Sign in to reply online Use email software

Evan Laforge

25 Jun 25 Jun

12:30 a.m.

This is neat, it sounds like I could use this with fix-imports to find only modules that export the right function name, or even to add non-qualified imports. But since it's already 95% good enough for my use case, I probably won't get around to it any time soon. On Thu, Jun 20, 2013 at 8:13 AM, Roman Cheplyaka wrote:

I am pleased to announce the first public release of haskell-names, a name resolution library for haskell-src-exts AST.

Namely, it can do the following:

* for a module, compute its interface, i.e. the set of entities exported by the module, together with their original names.

* for each name in the module, figure out what it refers to — whether it's bound locally (say, by a where clause) or globally (and then give its origin).

Thanks to haskell-packages, this library is fully integrated with Cabal, so that you can easily generate name interfaces for any Cabalized package.

See more details in the README: http://documentup.com/haskell-suite/haskell-names

This library is based on the code written by Lennart Augustsson in 2010. Little of that code survived, but nevertheless it's been a great help.

Roman

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

Reply

Sign in to reply online Use email software

Erik Hesselink

2:58 a.m.

Tom Lokhorst and myself worked on a tool to generate missing imports, both qualified and unqualified, at the Odessa hackathon. We created a working proof of concept [0]. I wasn't aware of fix-imports. Erik [0] https://github.com/haskell-suite/halberd On Tue, Jun 25, 2013 at 6:30 AM, Evan Laforge wrote:

This is neat, it sounds like I could use this with fix-imports to find only modules that export the right function name, or even to add non-qualified imports. But since it's already 95% good enough for my use case, I probably won't get around to it any time soon.

On Thu, Jun 20, 2013 at 8:13 AM, Roman Cheplyaka wrote:

...
I am pleased to announce the first public release of haskell-names, a name resolution library for haskell-src-exts AST.

Namely, it can do the following:

* for a module, compute its interface, i.e. the set of entities exported by the module, together with their original names.

* for each name in the module, figure out what it refers to — whether it's bound locally (say, by a where clause) or globally (and then give its origin).

Thanks to haskell-packages, this library is fully integrated with Cabal, so that you can easily generate name interfaces for any Cabalized package.

See more details in the README: http://documentup.com/haskell-suite/haskell-names

This library is based on the code written by Lennart Augustsson in 2010. Little of that code survived, but nevertheless it's been a great help.

Roman

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

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

Reply

Sign in to reply online Use email software

Evan Laforge

2:06 p.m.

Yeah, no one seems to know about it, which is surprising to me. I've been using it for over 2 years and I'd never want to go back. I guess most people don't mind maintaining import lists, my guess is that few people work on large projects, so they never see a long import list. On Mon, Jun 24, 2013 at 11:58 PM, Erik Hesselink wrote:

Tom Lokhorst and myself worked on a tool to generate missing imports, both qualified and unqualified, at the Odessa hackathon. We created a working proof of concept [0]. I wasn't aware of fix-imports.

Erik

[0] https://github.com/haskell-suite/halberd

On Tue, Jun 25, 2013 at 6:30 AM, Evan Laforge wrote:

...
This is neat, it sounds like I could use this with fix-imports to find only modules that export the right function name, or even to add non-qualified imports. But since it's already 95% good enough for my use case, I probably won't get around to it any time soon.

On Thu, Jun 20, 2013 at 8:13 AM, Roman Cheplyaka wrote:

...
I am pleased to announce the first public release of haskell-names, a name resolution library for haskell-src-exts AST.

Namely, it can do the following:

* for a module, compute its interface, i.e. the set of entities exported by the module, together with their original names.

* for each name in the module, figure out what it refers to — whether it's bound locally (say, by a where clause) or globally (and then give its origin).

Thanks to haskell-packages, this library is fully integrated with Cabal, so that you can easily generate name interfaces for any Cabalized package.

See more details in the README: http://documentup.com/haskell-suite/haskell-names

This library is based on the code written by Lennart Augustsson in 2010. Little of that code survived, but nevertheless it's been a great help.

Roman

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

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

Reply

Sign in to reply online Use email software

4349

Age (days ago)

4354

Last active (days ago)

Download

8 comments

6 participants

tags

participants (6)

AlanKim Zimmerman
Andrew Cowie
Erik Hesselink
Evan Laforge
Michael Sloan
Roman Cheplyaka