Re: [racket-users] How do I find where a module is located?

2017-02-14 Thread David Storrs
On Tue, Feb 14, 2017 at 10:05 PM, Matthew Butterick wrote: > > On Feb 14, 2017, at 8:36 AM, David Storrs wrote: > > (find-system-path 'collects-dir) ;; yields ../collects, which is useless > /Applications/Racket_v6.6/collects ;; nothing > /Library/Application Support/ ;; no directory for Racket

Re: [racket-users] How do I find where a module is located?

2017-02-14 Thread Matthew Butterick
> On Feb 14, 2017, at 8:36 AM, David Storrs wrote: > > (find-system-path 'collects-dir) ;; yields ../collects, which is useless > /Applications/Racket_v6.6/collects ;; nothing > /Library/Application Support/ ;; no directory for Racket > ~/Library/Application Support/ ;; no directory for Racket

Re: [racket-users] How do I find where a module is located?

2017-02-14 Thread David Storrs
Ah, clever. Thank you, Asumu. Glad to know that this exists. On Tue, Feb 14, 2017 at 12:33 PM, Asumu Takikawa wrote: > On 2017-02-14 12:00:49 -0500, David Storrs wrote: > >I can't believe there isn't an easy way to do this that doesn't > require > >DrRacket. If there are significant f

Re: [racket-users] How do I find where a module is located?

2017-02-14 Thread David Storrs
On Tue, Feb 14, 2017 at 12:16 PM, David Christiansen < da...@davidchristiansen.dk> wrote: > On 02/14/2017 12:00 PM, David Storrs wrote: > >> >> I prefer Emacs to Dr Racket >> > > In that case, if you're using racket-mode, you can use > racket-open-require-path (C-c C-x C-f by default) or M-x > rac

Re: [racket-users] How do I find where a module is located?

2017-02-14 Thread David Storrs
On Tue, Feb 14, 2017 at 12:14 PM, John Clements wrote: > > > On Feb 14, 2017, at 9:00 AM, David Storrs > wrote: > > > > > > > > On Tue, Feb 14, 2017 at 11:41 AM, 'John Clements' via Racket Users < > racket-users@googlegroups.com> wrote: > > > > > On Feb 14, 2017, at 8:36 AM, David Storrs > wrot

Re: [racket-users] How do I find where a module is located?

2017-02-14 Thread Asumu Takikawa
On 2017-02-14 12:00:49 -0500, David Storrs wrote: >I can't believe there isn't an easy way to do this that doesn't require >DrRacket.  If there are significant functions of a programming language >that can only be accessed via an IDE then that is a major problem. In addition to David C

Re: [racket-users] How do I find where a module is located?

2017-02-14 Thread David Christiansen
On 02/14/2017 12:00 PM, David Storrs wrote: I prefer Emacs to Dr Racket In that case, if you're using racket-mode, you can use racket-open-require-path (C-c C-x C-f by default) or M-x racket-find-collection to get to the source of particular import or of a collection. You can probably find

Re: [racket-users] How do I find where a module is located?

2017-02-14 Thread 'John Clements' via Racket Users
> On Feb 14, 2017, at 9:00 AM, David Storrs wrote: > > > > On Tue, Feb 14, 2017 at 11:41 AM, 'John Clements' via Racket Users > wrote: > > > On Feb 14, 2017, at 8:36 AM, David Storrs wrote: > > > > I have murphy/protobuf installed and I'd like to look at the source code. > > How do I fin

Re: [racket-users] How do I find where a module is located?

2017-02-14 Thread David Storrs
On Tue, Feb 14, 2017 at 11:41 AM, 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > > > On Feb 14, 2017, at 8:36 AM, David Storrs > wrote: > > > > I have murphy/protobuf installed and I'd like to look at the source > code. How do I find it? > > I think you’re looking for

[racket-users] How do I find where a module is located?

2017-02-14 Thread David Storrs
I have murphy/protobuf installed and I'd like to look at the source code. How do I find it? I tried: (find-system-path 'collects-dir) ;; yields ../collects, which is useless /Applications/Racket_v6.6/collects ;; nothing /Library/Application Support/ ;; no directory for Racket ~/Library/Applicati

Re: [racket-users] How do I find where a module is located?

2017-02-14 Thread 'John Clements' via Racket Users
> On Feb 14, 2017, at 8:36 AM, David Storrs wrote: > > I have murphy/protobuf installed and I'd like to look at the source code. > How do I find it? I think you’re looking for the ‘collection-file-path’ function, if you want to do it programmatically. Alternatively, If you just want to open

Re: [racket-users] Are types first class values in typed/racket

2017-02-14 Thread Sam Tobin-Hochstadt
I'm not exactly sure what you mean by "feed a type into a macro" or "the constituent elements .. of a given type". But Typed Racket runs macro expansion entirely _before_ type checking, so this is unlikely to be possible. Sam On Tue, Feb 14, 2017 at 1:32 PM, Robert Kuzelj wrote: > Hi Matthias, >

Re: [racket-users] Are types first class values in typed/racket

2017-02-14 Thread Robert Kuzelj
Hi Matthias, thanks for answering. As it seems my question was a bit imprecise - let me rephrase it: given a type definition in typed/racket like (define-type BinaryTree (U Number (Pair BinaryTree BinaryTree))) would it be possible to feed that type into a macro (aka not runtime) so that

Re: [racket-users] Are types first class values in typed/racket

2017-02-14 Thread Matthias Felleisen
A value is a run-time entity, namely, the result of a computation. A first-class value can flow anywhere within the core language. A type is a syntactic concept. It does not exist at run-time at all (contrary to the propaganda concerning ‘dynamic typing’). > On Feb 14, 2017, at 4:04 AM, Robe

[racket-users] Are types first class values in typed/racket

2017-02-14 Thread Robert Kuzelj
That means: can I inspect the declaration and see all the defined members and types? Thanks Best regards Robert -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email