Re: [racket] Code compiled for version ~a, not ~a

2011-09-17 Thread Jukka Tuominen
I think I have had similar errors, but these were outside drracket. I can't recall exactly, but I think they were either commandline raco compilations or commanline gracket executions. I had to remove all compiled directoried manually an rerun the command to bypass the situation. That I recall c

Re: [racket] online check syntax error display tweak

2011-09-17 Thread Guillaume Marceau
On Sat, Sep 17, 2011 at 9:58 PM, Robby Findler wrote: > On Sat, Sep 17, 2011 at 8:40 PM, Guillaume Marceau wrote: > That would be great too. Emacs uses C-x ` for that. How about a keystroke to jump to the place plus it colors things in when you mouse over the right thingy in th

Re: [racket] online check syntax error display tweak

2011-09-17 Thread Robby Findler
On Sat, Sep 17, 2011 at 8:40 PM, Guillaume Marceau wrote: That would be great too. Emacs uses C-x ` for that. >>> >>> How about a keystroke to jump to the place plus it colors things in >>> when you mouse over the right thingy in the right margin? > > Eclipse uses C-. and C-, for next-error a

Re: [racket] online check syntax error display tweak

2011-09-17 Thread Guillaume Marceau
That would be great too. Emacs uses C-x ` for that. How about a keystroke to jump to the place plus it colors things in when you mouse over the right thingy in the right margin? Eclipse uses C-. and C-, for next-error and previous-error. Emacs also binds M-n to next-error (in addition to C-x

Re: [racket] Code compiled for version ~a, not ~a

2011-09-17 Thread Robby Findler
There could definitely be a bug where something is not comparing paths properly somehow. If you can give me more help to reproduce the bug that would be a big help. To start I think just sending me the logging tool directory (and saying where it was (collects, link?)) would probably help me make p

Re: [racket] Code compiled for version ~a, not ~a

2011-09-17 Thread Guillaume Marceau
> Are these files in the collects tree or elsewhere? I have separate collects trees for each version. Occasionally, I do get the error in the collect tree for my git repo. Earlier today I did, git pull ./raco setup -D ./DrRacket and received the version error for collects/planet/priva

Re: [racket] Code compiled for version ~a, not ~a

2011-09-17 Thread Robby Findler
Are these files in the collects tree or elsewhere? If elsewhere, then drracket should be taking care of this for you (unless you turn off the automatic compilation option). If in the collects tree then you probably want multiple copies of the collecs tree to go along with your multiple binaries (I

Re: [racket] I don't understand structural recursion.

2011-09-17 Thread Shriram Krishnamurthi
I understand. It would help if you could tell me what would have been useful to drop from the output -- this feedback helps us a great deal. There is *some* configurability: - no trace command = just run the program - (trace-all) - (trace-failed-checks) = just the tests that failed - (trace-e

Re: [racket] I don't understand structural recursion.

2011-09-17 Thread Damien Lee
Thanks all for the comments. I have solved the problem now. I suppose I should refrain from posting my full solution, though I am worried it's a bit hacky and inelegant. Basically, I found that the lists contained elements suitable of permuting about the leaves of the partial trees. It wasn't m

[racket] Code compiled for version ~a, not ~a

2011-09-17 Thread Guillaume Marceau
I test my code against the many different versions of DrRacket, which means I switch version several times a day. Each time I launch a different version of DrRacket, I inevitably forget to recompile some library that's in my PLTCOLLECTS, or in my raco link table, which means I get lots of "cod

Re: [racket] I don't understand structural recursion.

2011-09-17 Thread Todd O'Bryan
Something else to think about is how you get from one answer to the next. For example, it looks like (distinct-trees 2) is just (distinct-trees 1) with a new tree added as both a left and right child. Ask yourself how (distinct-trees 3) is related to (distinct-trees 2), how (distinct-trees 4) is r

Re: [racket] I don't understand structural recursion.

2011-09-17 Thread Shriram Krishnamurthi
Hi Charlie, Yep, Catalan numbers! Here's something that may help. Add the following two lines to the top of your file -- #lang planet tracer/tracer (trace-all) -- and put a concrete call at the end, eg: (num-distinct-trees 3) Go to Language | Choose Language... and select the option at the

Re: [racket] I don't understand structural recursion.

2011-09-17 Thread Damien Lee
On 17/09/11 23:04, Nadeem Abdul Hamid wrote: Do you have some examples? Concrete examples of possible input values and what you expect the corresponding output to look like? And if the function expects integers as input, then what is the difference in the output between two successive input value

Re: [racket] I don't understand structural recursion.

2011-09-17 Thread Damien Lee
On 17/09/11 23:04, Nadeem Abdul Hamid wrote: Do you have some examples? Concrete examples of possible input values and what you expect the corresponding output to look like? And if the function expects integers as input, then what is the difference in the output between two successive input value

Re: [racket] I don't understand structural recursion.

2011-09-17 Thread Nadeem Abdul Hamid
Do you have some examples? Concrete examples of possible input values and what you expect the corresponding output to look like? And if the function expects integers as input, then what is the difference in the output between two successive input values like 2 and 3? 4 and 5? 0 and 1? On Sat, Sep

[racket] I don't understand structural recursion.

2011-09-17 Thread Damien Lee
Hello, I should probably warn you that this is a homework question, but I have tried to solve it, honestly. "Construct a program that outputs (in some order) all structurally distinct binary trees of n nodes. Two trees are considered structurally distinct if they have different numbers of n

Re: [racket] Module docs

2011-09-17 Thread Mark Carter
- Original Message - > From: Matthew Flatt > The latest nightly build works correctly on my machine. That seems to fix things. Many thanks! _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users

Re: [racket] list->values

2011-09-17 Thread Jon Zeppieri
On Sat, Sep 17, 2011 at 1:43 PM, Jeremy Kun wrote: > Is there a function that converts a list into a values expression which > contains every element of the list? (define (list->values xs) (apply values xs)) > I've run into a bit of trouble trying to > implement something like it myself, and i

Re: [racket] list->values

2011-09-17 Thread Neil Van Dyke
Jeremy Kun wrote at 09/17/2011 01:43 PM: Is there a function that converts a list into a values expression which contains every element of the list? I've run into a bit of trouble trying to implement something like it myself, and it's probably because I don't understand exactly how values is us

Re: [racket] list->values

2011-09-17 Thread Stephen Chang
>> Is there a function that converts a list into a values expression which >> contains every element of the list? > (apply values (list 1 2 3)) 1 2 3 >> I've run into a bit of trouble trying to >> implement something like it myself, and it's probably because I don't >> understand exactly how va

[racket] list->values

2011-09-17 Thread Jeremy Kun
Is there a function that converts a list into a values expression which contains every element of the list? I've run into a bit of trouble trying to implement something like it myself, and it's probably because I don't understand exactly how values is used (or supposed to be used). My use case is

Re: [racket] Dr. Racket for FPGA development

2011-09-17 Thread Neil Van Dyke
Matthias Felleisen wrote at 09/17/2011 12:27 PM: What we really need is a #lang pre. Would modules done in "#lang pre" provide an intermediate representation, so that different target architecture backends could require the module and emit FPGA HDL, JVM bytecode, some assembler, etc.? If

Re: [racket] Dr. Racket for FPGA development

2011-09-17 Thread Matthias Felleisen
What we really need is a #lang pre. On Sep 17, 2011, at 12:24 PM, Neil Van Dyke wrote: > If someone wanted to implement a somewhat Racket-like language for FPGAs, > PreScheme is worth looking at. > http://mumble.net/~kelsey/papers/prescheme.ps.gz > > -- > http://www.neilvandyke.org/ > _

Re: [racket] Dr. Racket for FPGA development

2011-09-17 Thread Neil Van Dyke
If someone wanted to implement a somewhat Racket-like language for FPGAs, PreScheme is worth looking at. http://mumble.net/~kelsey/papers/prescheme.ps.gz -- http://www.neilvandyke.org/ _ For list-related administrative tasks: http://lists.racket-

Re: [racket] scribble problem?

2011-09-17 Thread Matthew Flatt
I think we need "web-flow/web-server-flow.rkt" and its dependencies to diagnose this problem. Is that code available somewhere? At Sun, 11 Sep 2011 10:10:44 +0530, Veer wrote: > When I click Scribble HTML in DrRacket for code below > > #lang scribble/manual > @(require (for-label racket "web-flow

Re: [racket] provide/doc for classes and methods?

2011-09-17 Thread Matthew Flatt
At Wed, 14 Sep 2011 11:50:07 -0300, Eduardo Bellani wrote: > I am trying to build in-source scribble documentation for classes and > methods and I am a bit confused as to how to proceed. Documentation in the style of `defclass' is supported by `provide/doc' at the moment. Unfortunately, improveme

Re: [racket] returning values in #lang racket/load

2011-09-17 Thread Matthew Flatt
At Tue, 13 Sep 2011 15:32:29 +0300, "Jukka Tuominen" wrote: > I wonder if there's a way to return values in #lang racket/load other than > specifically printing them out? Not currently. The `racket/load' language is (currently) intended to be like `load', which also doesn't print out intermediate

Re: [racket] Module docs

2011-09-17 Thread Matthew Flatt
At Sun, 4 Sep 2011 08:10:51 -0600, Matthew Flatt wrote: > At Sun, 4 Sep 2011 10:30:03 +0100 (BST), Mark Carter wrote: > > 6. raco setup >err.txt > > > > err.txt seemed to highlight a number of errors multiple times: > > > > > > 1. raco setup: error running: (lib scribblings/main/search.scrb