Re: [racket-dev] submodule in macro

2013-01-29 Thread Matthew Flatt
. Welcome to DrRacket, version 5.3.2.2 [3m]. Language: racket [custom]. . . ..\..\plt\collects\racket\require-transform.rkt:266:2: syntax-local-module-exports: unknown module module name: #resolved-module-path:'tmp-module-name On Sat, Jan 26, 2013 at 6:55 AM, Matthew Flatt mfl

Re: [racket-dev] submodule in macro

2013-01-29 Thread Matthew Flatt
-package tmp-package (f) (define (f-tmp arg ...) (displayln wrapper) body ...) (define*-syntaxes (f) (make-rename-transformer #'f-tmp))) (open-package tmp-package))])) (def-wrapped (f x) (+ x 1)) (f 100) On Jan 26, 2013, at 6:55 AM, Matthew Flatt wrote

Re: [racket-dev] long double for racket

2013-01-30 Thread Matthew Flatt
At Tue, 29 Jan 2013 19:01:30 -0500, Sam Tobin-Hochstadt wrote: On Mon, Jan 28, 2013 at 8:18 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Sat, 29 Dec 2012 14:05:08 +0300, Michael Filonenko wrote: I have prepared a new version of the patch (attached). Thanks! A question on the design

Re: [racket-dev] request for code review on fix for pr 13471

2013-02-04 Thread Matthew Flatt
It looks ok to me. At Sun, 3 Feb 2013 22:26:00 -0700, Danny Yoo wrote: I've run the tests that use the lexer, and it appears to pass. But since it's parser-tools/lex, I'd like a second opinion on this, just in case I'm doing something very silly. I've put this in my branch 'pr13471':

Re: [racket-dev] Running in DrRacket changes behavior of the `compiler/cm` library

2013-02-04 Thread Matthew Flatt
I agree. More generally, if running a program has the side effect of configuring DrRacket, then maybe it should not be allowed to run within DrRacket. That is, maybe DrRacket should install a security guard that prevents writing to installed collections. Meanwhile, to install packages from

Re: [racket-dev] long double for racket

2013-02-04 Thread Matthew Flatt
At Mon, 04 Feb 2013 19:04:29 +0400, Dmitry Pavlov wrote: One thing is not quite clear from your message: if Mikhail now starts to work on unboxing, will not he be duplicating your own work? You said Unboxing of locally-bound extflonums is still not implemented, but I think it's probably

Re: [racket-dev] Segfault on HEAD?

2013-02-13 Thread Matthew Flatt
I'm trying a clean build now, and maybe the problem will be obvious. At Wed, 13 Feb 2013 10:36:09 -0600, Robby Findler wrote: I don't know what would help, but one thing that usually does is a stack trace. You can probably get it from a coredump file or by something like this: $ gdb `which

Re: [racket-dev] Compilation of 5.3.2 fails on some compilers

2013-02-14 Thread Matthew Flatt
skills are far too limited to provide a patch. Tobias On Fri, 01 Feb 2013 19:30:15 +0100, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 1 Feb 2013 12:23:59 +0100, Tobias Hammer wrote: i am getting the following error when i try to compile racket-textual on a a version

Re: [racket-dev] extflonum unboxing, f80vector ffi

2013-02-15 Thread Matthew Flatt
Merged - thanks! I'm not certain why the example below didn't work for you, but I think it had to do with shuffling unboxed arguments to `loop'. Please check whether the current version works; it now works for me. There was a mismatch in the order that unboxed arguments are gathered for the call

Re: [racket-dev] Scribble: feature request - module paths for image

2013-02-15 Thread Matthew Flatt
Does `collection-file-path' work? Here's a small example: #lang scribble/base @image[(collection-file-path heart.png icons)] I think this is closer to your example (but untested): #lang scribble/base @(define (fig name) (collection-file-path name book figures)) @image[#:suffixes

Re: [racket-dev] extflonum unboxing, f80vector ffi

2013-02-18 Thread Matthew Flatt
At Mon, 18 Feb 2013 20:37:22 +0400, Dmitry Pavlov wrote: 1. Minor issue: broken contract does not check for some reason related to the unboxing machinery: (require racket/extflonum) (define (a b) (extfl+ b 1.0)) (a 1.0t0) Should raise extfl+: contract violation, but silently

Re: [racket-dev] [plt] Push #26316: master branch updated

2013-02-19 Thread Matthew Flatt
I forgot to check 32-bit mode, and I see a problem there. Are you using a 32-bit or 64-bit build? At Tue, 19 Feb 2013 12:29:57 -0500, Asumu Takikawa wrote: On 2013-02-19 10:48:21 -0500, mfl...@racket-lang.org wrote: ca95129 Matthew Flatt mfl...@racket-lang.org 2013-02-19 08:02 : | JIT

Re: [racket-dev] Expansion of optional arguments in lambda

2013-02-24 Thread Matthew Flatt
At Sun, 24 Feb 2013 09:51:12 -0800, Eric Dobson wrote: lambda supports optional arguments, and does this by expanding out into a core form that has flag arguments for if each argument is supplied. This is tricky to type in TR and so I was investigating why it did it this way. I did a micro

Re: [racket-dev] I'd like to add a sidebar link to all documentation versions in docs.racket-lang.org.

2013-02-24 Thread Matthew Flatt
At Sun, 24 Feb 2013 17:16:13 -0500, Eli Barzilay wrote: Two hours ago, Eli Barzilay wrote: I think that this should be reverted, and instead make the older docs more available: I'll make another column in the all-versions page (main page download all versions). Done, now. See the new

Re: [racket-dev] [plt] Push #26372: master branch updated

2013-02-26 Thread Matthew Flatt
:14 -0500, Ray Racine wrote: all-phase modules static modules static-phase modules phase-invariant modules On Tue, Feb 26, 2013 at 5:31 PM, Vincent St-Amour stamo...@ccs.neu.eduwrote: At Tue, 26 Feb 2013 16:59:01 -0500, mfl...@racket-lang.org wrote: 899a327 Matthew Flatt mfl

Re: [racket-dev] [plt] Push #26372: master branch updated

2013-02-27 Thread Matthew Flatt
:58 AM, Norman Gray nor...@astro.gla.ac.uk wrote: Greetings. On 2013 Feb 27, at 01:14, Matthew Flatt mfl...@cs.utah.edu wrote: I think part of the problem is distinguishing module declarations (which don't have a phase) from module instantiations (which are normally phase-specific

Re: [racket-dev] [plt] Push #26313: master branch updated

2013-03-04 Thread Matthew Flatt
At Mon, 4 Mar 2013 06:30:35 -0700, Jay McCarthy wrote: 2d5884b broke some of my Scribble documents. Repair pushed. _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] using Racket to build an image-based Lisp: feasible?

2013-03-04 Thread Matthew Flatt
At Mon, 04 Mar 2013 09:35:42 -0600, mikel evins wrote: The reason I ask is that MacScheme made it easy to have most of an app compiled to bytecode, which was very compact and reasonably efficient, but to optionally and selectively compile performance-critical procedures to native code.

Re: [racket-dev] Extflonum type for windows

2013-03-18 Thread Matthew Flatt
At Mon, 4 Mar 2013 19:06:32 +0300, Michael Filonenko wrote: The following pull request provides long double type (extflonum) on win32: https://github.com/plt/racket/pull/265 Merged --- with some changes, as usual... It seems that RacketCGC is supposed to be built without any third-party DLLs

Re: [racket-dev] [plt] Push #26475: master branch updated

2013-03-18 Thread Matthew Flatt
Thanks - I've pushed a repair. At Mon, 18 Mar 2013 14:12:04 -0400, Vincent St-Amour wrote: This breaks on Linux 32-bit. Here's the error I get: make[7]: Entering directory `/home/stamourv/tmp/tmp-plt/plt/src/build/foreign' gcc -g -O2 -Wall -pthread-D_LARGEFILE_SOURCE

Re: [racket-dev] Potential Constant Propagation Bug

2013-03-29 Thread Matthew Flatt
Yes, this is clearly a bug. At Fri, 29 Mar 2013 16:21:49 -0400, Vincent St-Amour wrote: I have found what I think may be a bug in Racket's constant propagation: (unsafe-fx* 0 (error 'foo)) does not throw and error and evaluates to 0. If 0 is replaced with another value, or if it's

Re: [racket-dev] Extflonum type for windows

2013-03-30 Thread Matthew Flatt
Sorry for the long delay! At Wed, 20 Mar 2013 16:14:46 +0400, Michael Filonenko wrote: Agreed. But since switching the processor at last minute every time slows things down a bit, it may be useful to have an option to switch to the extended mode on Win32 just once. That will be useful for us

Re: [racket-dev] Cross-phase persistent modules

2013-04-06 Thread Matthew Flatt
At Fri, 5 Apr 2013 07:31:03 -0400, Carl Eastlund wrote: Most importantly, as far as I can tell, cross-phase persistent modules are currently an internal silent heuristic for turning modules into persistent ones. I'd really like a way to explicitly declare that I want a module to be persistent

Re: [racket-dev] Confusion of difference of evaluating syntax vs compiled code?

2013-04-07 Thread Matthew Flatt
At Thu, 4 Apr 2013 15:34:18 -0600, Danny Yoo wrote: I'm running into dynamic evaluation behavior that I don't quite understand yet. My example is: https://gist.github.com/dyoo/5314045 It's meant as an experiment to see whether it's possible to avoid 3d syntax in certain places like

Re: [racket-dev] Packages

2013-04-08 Thread Matthew Flatt
I stand by my recommendation from December: http://lists.racket-lang.org/dev/archive/2012-December/011218.html That is, I think this suggestion should be phrased as a patch. As implied in my quote below, I tried something much like you're describing, and I was unhappy with the resulting

[racket-dev] ARM support in the JIT

2013-04-08 Thread Matthew Flatt
I've pushed changes to the JIT to add an ARM back-end, which is based on Paulo César Pereira de Andrade's very nice implementation of GNU lightning for ARM. The generated code uses Thumb and VFP instructions when available, and floating-point arithmetic is unboxed as on x86. Places should work,

Re: [racket-dev] ARM support in the JIT

2013-04-08 Thread Matthew Flatt
At Mon, 08 Apr 2013 16:15:03 -0500, Brian Mastenbrook wrote: On 04/08/2013 03:58 PM, Matthew Flatt wrote: I've pushed changes to the JIT to add an ARM back-end, which is based on Paulo César Pereira de Andrade's very nice implementation of GNU lightning for ARM. On what processors

Re: [racket-dev] [plt] Push #26609: master branch updated

2013-04-10 Thread Matthew Flatt
At Wed, 10 Apr 2013 19:43:46 -0400, Sam Tobin-Hochstadt wrote: On Wed, Apr 10, 2013 at 7:26 PM, mfl...@racket-lang.org wrote: middle-body ... - (let ([new-vec (if (eq? i (unsafe-vector-length vec)) + (let

Re: [racket-dev] take/drop argument order

2013-04-11 Thread Matthew Flatt
At Thu, 11 Apr 2013 15:20:54 -0400, Eli Barzilay wrote: In any case, given that nobody seems sufficiently interested, maybe it's best to remove the new functions for this release to avoid code depending on it which will make later changes more difficult? I don't think we're going to have any

Re: [racket-dev] module path resolver - module name resolver?

2013-04-15 Thread Matthew Flatt
Yes, that should be module name resolver. At Fri, 12 Apr 2013 13:11:03 -0600, Danny Yoo wrote: I'm reading the documentation for: http://docs.racket-lang.org/reference/Module_Names_and_Loading.html#%28tech._mod ule._path._resolver%29 and it looks to me like the term here should have been

Re: [racket-dev] amd64 out of memory

2013-04-16 Thread Matthew Flatt
At Tue, 16 Apr 2013 11:57:40 -0400, Tony Garnock-Jones wrote: On 2013-04-16 11:50 AM, Jon Rafkind wrote: The PPA build has been failing the past 2 days or so for amd64 machines due to the Racket VM running out of memory, usually during 'raco setup' but not correlated with any specific

Re: [racket-dev] Symlink trouble

2013-04-17 Thread Matthew Flatt
At Wed, 17 Apr 2013 17:19:58 +0200, Tobias Hammer wrote: On Wed, 17 Apr 2013 16:39:22 +0200, Matthew Flatt mfl...@cs.utah.edu wrote: For module paths, same file involves only syntactic normalizations of the pathname (e.g., no checking for soft links). Various pieces of the system

Re: [racket-dev] ARM support in the JIT

2013-04-17 Thread Matthew Flatt
At Mon, 8 Apr 2013 15:22:02 -0600, Matthew Flatt wrote: At Mon, 08 Apr 2013 16:15:03 -0500, Brian Mastenbrook wrote: On 04/08/2013 03:58 PM, Matthew Flatt wrote: I've pushed changes to the JIT to add an ARM back-end, which is based on Paulo César Pereira de Andrade's very nice

[racket-dev] Win64 crashes (was: Pre-Release Checklist for v5.3.4)

2013-04-19 Thread Matthew Flatt
At Thu, 18 Apr 2013 22:23:37 -0600, Doug Williams wrote: I did have DrRacket crash twice on startup. I'm running the 64-bit version under Windows 8 64-bit. The stars have aligned this morning! We've had reports of crashes specific to 64-bit Windows, but I had not been able to replicate the

Re: [racket-dev] Win64 crashes (was: Pre-Release Checklist for v5.3.4)

2013-04-19 Thread Matthew Flatt
? Perhaps some simple property that was being violated that one could write a checker for (maybe running Racket in some debug mode)? Robby On Fri, Apr 19, 2013 at 11:20 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Thu, 18 Apr 2013 22:23:37 -0600, Doug Williams wrote: I did have

Re: [racket-dev] Release Announcement for v5.3.4

2013-04-23 Thread Matthew Flatt
At Mon, 22 Apr 2013 23:16:07 -0400, Ryan Culpepper wrote: mflatt: - added file-truncate (48e05093) - mach-o: handle some new load commands (a229f292) - mach-o: code signing fixes (1744a787) - scribble/latex-properties: add command-extras (17865bfa) - ffi/com: improve handling of

Re: [racket-dev] [plt] Push #26710: master branch updated

2013-04-28 Thread Matthew Flatt
At Thu, 25 Apr 2013 14:59:42 -0400, Asumu Takikawa wrote: On 2013-04-25 14:55:45 -0400, as...@racket-lang.org wrote: a15fa5b Asumu Takikawa as...@racket-lang.org 2013-04-20 23:18 : | Start on a notation section for the Reference : This is in response to the How to read procedure

Re: [racket-dev] TR tests sometimes fail with a promise error

2013-05-03 Thread Matthew Flatt
Thanks for tracking this down! In case you mean a channel in the sense of `make-channel', I recommend a semaphore, instead, since a semaphore is the lightest-weight synchronization construct. At Fri, 03 May 2013 11:45:38 -0400, Vincent St-Amour wrote: Sam, Asumu and I found and fixed the bug.

Re: [racket-dev] else clauses: possible change to match?

2013-05-04 Thread Matthew Flatt
At Fri, 3 May 2013 17:29:52 -0400, Eli Barzilay wrote: A few minutes ago, Robby Findler wrote: FWIW, this was the bug in redex that prompted me to send this message (it was there for some time since it wasn't a syntax error it was similar in spirit to the code I posted; things broke

Re: [racket-dev] else clauses: possible change to match?

2013-05-04 Thread Matthew Flatt
At Sat, 4 May 2013 09:15:22 -0500, Robby Findler wrote: On Sat, May 4, 2013 at 9:07 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 3 May 2013 17:29:52 -0400, Eli Barzilay wrote: A few minutes ago, Robby Findler wrote: FWIW, this was the bug in redex that prompted me to send

Re: [racket-dev] else clauses: possible change to match?

2013-05-05 Thread Matthew Flatt
everywhere instead of [else ...] ? Would such an #:else allow for multi-line bodies? On Sat, May 4, 2013 at 5:06 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Sat, 4 May 2013 09:15:22 -0500, Robby Findler wrote: On Sat, May 4, 2013 at 9:07 AM, Matthew Flatt mfl...@cs.utah.edu

Re: [racket-dev] stypes.h + 3M woes

2013-05-06 Thread Matthew Flatt
You're right that the comment about keys under 256 is out of date. The GC implementation should take _scheme_last_type_ into account. My initial thought is that the array needs to be bigger than that, because the intent is that new type tags can be created at run time with scheme_make_type().

Re: [racket-dev] stypes.h + 3M woes

2013-05-06 Thread Matthew Flatt
At Mon, 6 May 2013 11:58:13 -0400, Jon Zeppieri wrote: On Mon, May 6, 2013 at 8:08 AM, Matthew Flatt mfl...@cs.utah.edu wrote: If you're modifying stypes.h, though, public is not relevant. You should be able to add lots of new types to stypes.h without reaching 512 or otherwise running

Re: [racket-dev] JIT question

2013-05-07 Thread Matthew Flatt
I think you're right: line 1851 is useless. I added line 1851 weeks after writing the surrounding code. At the time that I added line 1851, the real repair was changing line 1859 to use `dest' as the destination. I didn't pay enough attention to see that the slow path is a failure path, so no

Re: [racket-dev] bitmap-dc% ignores alpha on set-pixel

2013-05-11 Thread Matthew Flatt
The change looks ok to me. At Fri, 10 May 2013 19:23:35 -0600, Jay McCarthy wrote: No matter what the input color's alpha is, set-pixel uses 100% opacity. Similarly, get-pixel ignores the alpha in the image. I think we should change this with the patch below, but I wonder if there is some

Re: [racket-dev] Another JIT question

2013-05-11 Thread Matthew Flatt
, 2013 at 11:29 AM, Matthew Flatt mfl...@cs.utah.edu wrote: The last example seems to be the only one that uses `write', while the others implicitly use `print'. Does (write #\c) crash? How about (print #\c) ? At Fri, 10 May 2013 21:19:25 -0400, Jon Zeppieri wrote: My

Re: [racket-dev] calling make-keyword-procedure from inside a thread produces a stack overflow in scheme_uncopy_stack

2013-05-15 Thread Matthew Flatt
Your example made it easy to find the problem (which would have been difficult to track down otherwise), and I've pushed a repair. Thanks again! At Wed, 15 May 2013 06:47:43 -0600, Matthew Flatt wrote: I didn't get from your earlier message that provoking the crash is as easy as running

Re: [racket-dev] proposal for moving to packages: repository

2013-05-20 Thread Matthew Flatt
At Mon, 20 May 2013 18:27:34 -0400, Eli Barzilay wrote: An hour and a half ago, Matthew Flatt wrote: This plan has two prominent implications: * The current git repo's directory structure will change. [...] I very strongly object to this. While in theory git will follow everything

Re: [racket-dev] tcp_listen error handling

2013-05-21 Thread Matthew Flatt
Yes, I think address ? address : #f is right, while host not found should change to something like host lookup failed. At Tue, 21 May 2013 04:57:25 +0300, Alex Moiseenko wrote: Hi. I've successfully started Racket 5.3.4.7 with Geiser server through JNI + SDL2 on Android (and this

Re: [racket-dev] proposal for moving to packages: repository

2013-05-21 Thread Matthew Flatt
At Tue, 21 May 2013 00:09:49 -0700, Sam Tobin-Hochstadt wrote: On Mon, May 20, 2013 at 6:07 PM, Matthew Flatt mfl...@cs.utah.edu wrote: To put it another way and overstate a little: I'm trying to get buy-in from dev to make the switch to packages wholesale. The little bit of staging

Re: [racket-dev] proposal for moving to packages

2013-05-21 Thread Matthew Flatt
At Tue, 21 May 2013 10:46:29 -0400, David Van Horn wrote: On 5/20/13 4:42 PM, Matthew Flatt wrote: This plan has two prominent implications: * The current git repo's directory structure will change. Will this directory structure change have an impact on how modules are referenced

Re: [racket-dev] proposal for moving to packages

2013-05-21 Thread Matthew Flatt
At Tue, 21 May 2013 05:29:19 -0600, Jay McCarthy wrote: If you have the source, then you need all the phase = 1 dependencies, but if you just have the binary then you only need the phase = 0 deps. That's the right idea, but not precisely correct. If you `(require (for syntax ...))' a module,

Re: [racket-dev] proposal for moving to packages: repository

2013-05-21 Thread Matthew Flatt
sooner rather of later. Then, everyone will be in a good position to script progress in various ways. At Tue, 21 May 2013 14:20:33 -0400, Eli Barzilay wrote: Yesterday, Matthew Flatt wrote: Concretely, new repositories that are just a subset of the current repo would be off-by-one

Re: [racket-dev] proposal for moving to packages: repository

2013-05-22 Thread Matthew Flatt
At Wed, 22 May 2013 14:50:41 -0400, Eli Barzilay wrote: That's true, but the downside of changing the structure and having files and directories move post structure change will completely destroy the relevant edit history of the files, since it will not be carried over to the repos once it's

Re: [racket-dev] proposal for moving to packages: repository

2013-05-23 Thread Matthew Flatt
At Thu, 23 May 2013 07:09:17 -0400, Eli Barzilay wrote: Relevant history is vague. The history I want corresponds to `git log --follow' on each of the files that end up in a repository. The thing that you can't do with filter-branch is keep the complete history if you remove files from the

Re: [racket-dev] proposal for moving to packages: repository

2013-05-24 Thread Matthew Flatt
At Fri, 24 May 2013 03:26:45 -0400, Eli Barzilay wrote: If that can be done reliabely, then of course it makes it possible to do the split reliabley after the first restructure. Great! Let's do that, because I remain convinced that it's going to be a lot easier. * Also, I'd worry about file

Re: [racket-dev] Constructing an identifier to an unexported binding

2013-05-24 Thread Matthew Flatt
Adding an operation to construct the identifier directly makes sense to me, and I can see how it might be more convenient to construct an identifier instead of changing the comparisons. At Thu, 23 May 2013 18:08:09 -0700, Eric Dobson wrote: Right, but why cannot we forge an identifier easily?

Re: [racket-dev] proposal for moving to packages: repository

2013-05-24 Thread Matthew Flatt
At Fri, 24 May 2013 12:44:35 -0400, Eli Barzilay wrote: * The script should also take care to deal with files that got removed in the past. Ditto. I don't believe that it's *not* doing this, so I did the double-check in the form of a test. You're right --- I misunderstood your

[racket-dev] experiment reorganizing the repo into packages

2013-05-28 Thread Matthew Flatt
Here's a first experiment at moving collections around into packages: https://github.com/mflatt/racket/tree/pkg That repository really is meant as an experiment and a point of discussion --- not a conclusion! In particular, this experiment is about what it might look like to break up the

Re: [racket-dev] experiment reorganizing the repo into packages

2013-05-28 Thread Matthew Flatt
At Tue, 28 May 2013 17:44:08 -0400, Sam Tobin-Hochstadt wrote: One question -- a bunch of unstable seems to be in the typed-racket-lib package. Why is that? Just a shortcut. Typed Racket seemed to be the only user of the libraries in the repo, so I put the libraries there for now. So, how

Re: [racket-dev] experiment reorganizing the repo into packages

2013-05-28 Thread Matthew Flatt
At Tue, 28 May 2013 19:36:14 -0500, Robby Findler wrote: I don't have a good sense of what level of granularity is the right one, but I naturally would have gone even finer grained with drracket: the macro-debugger, pkg/gui, and maybe even the gui-debugger I would have separated out. (Probably

Re: [racket-dev] experiment reorganizing the repo into packages

2013-05-29 Thread Matthew Flatt
At Wed, 29 May 2013 11:11:18 -0600, Neil Toronto wrote: On 05/28/2013 03:44 PM, Sam Tobin-Hochstadt wrote: On Tue, May 28, 2013 at 5:14 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I don't know whether the -lib/-docs split is worthwhile, but it's part of erring on the side of breaking

Re: [racket-dev] experiment reorganizing the repo into packages

2013-05-29 Thread Matthew Flatt
At Wed, 29 May 2013 14:14:11 -0400, Eli Barzilay wrote: * Does this split actually work wrt having no circular dependencies? It's mostly non-circular, but there are some exceptions. I think there are no circularities among the -lib packages, but I'm not 100% certain. The existing -docs

Re: [racket-dev] experiment reorganizing the repo into packages

2013-05-29 Thread Matthew Flatt
suggest to me that the documentation is thorough and helpful. At Wed, 29 May 2013 14:31:08 -0400, Eli Barzilay wrote: 20 minutes ago, Matthew Flatt wrote: Yes. Package dependencies can be cyclic (unlike module dependencies), and packages can have cyclic build dependencies without cyclic run

Re: [racket-dev] experiment reorganizing the repo into packages

2013-05-30 Thread Matthew Flatt
At Wed, 29 May 2013 15:51:30 -0400, Eli Barzilay wrote: 20 minutes ago, Matthew Flatt wrote: [...package distribution kinds...] Well, I agree with all these thoughts, but what's the conclusion? There's no requirement that packages be in multiple repositories, but different packages

Re: [racket-dev] experiment reorganizing the repo into packages

2013-05-30 Thread Matthew Flatt
At Thu, 30 May 2013 09:01:16 -0400, Sam Tobin-Hochstadt wrote: I also really don't want to have Typed Racket's documentation outside of Typed Racket's code repository, and I think it would be a mistake to do that for other parts of Racket. An on-point comment on this from just yesterday in a

Re: [racket-dev] experiment reorganizing the repo into packages

2013-05-30 Thread Matthew Flatt
At Thu, 30 May 2013 10:02:29 -0400, Sam Tobin-Hochstadt wrote: One question, though: how does this work with the package manager. Right now, only repositories can be specified as the source when creating a package at pkg.racket-lang.org. There must be something I'm missing about how this will

Re: [racket-dev] experiment reorganizing the repo into packages

2013-05-30 Thread Matthew Flatt
As I understand things, we should certainly try to align divisions of responsibility with divisions of code (including tests and docs) among packages. My initial experiment probably doesn't align them very well, and I'd expect a better alignment to emerge from everyone's efforts to improve some

Re: [racket-dev] raco pkg remove not removing

2013-05-30 Thread Matthew Flatt
Does `raco link -l' show any trace of the old package (which would suggest that the package manager failed between the points of removing its own registration of the package and removing the link)? If the package install was not installation-wide, then all state should be in your add-on directory

Re: [racket-dev] experiment reorganizing the repo into packages

2013-06-03 Thread Matthew Flatt
At Mon, 3 Jun 2013 08:27:19 -0400, Eli Barzilay wrote: On Thursday, Matthew Flatt wrote: You've sketched out the producer side, and I'm not sure of some about some of those details. The consumer side seems even more complex to me. It seems like the package system would have to keep

Re: [racket-dev] PLaneT(2): Single vs multi-collection packages

2013-06-03 Thread Matthew Flatt
At Mon, 3 Jun 2013 18:37:43 +0200, Laurent wrote: Here is a patch for a proof of concept (file /collects/pkg/lib.rkt). The modifications are minimal as I had expected, but obviously I only have a very narrow view of the package system, so probably something does not work properly. In

Re: [racket-dev] experiment reorganizing the repo into packages

2013-06-03 Thread Matthew Flatt
At Mon, 3 Jun 2013 10:36:51 -0400, Eli Barzilay wrote: (BTW, a possible source of confusion: I'm assuming that distribution must be done via archives and not via repository specs, since there should be some way to put the compiled files in there. I don't think that's the right assumption. We

[racket-dev] from packages to installers

2013-06-04 Thread Matthew Flatt
a class=LargeFriendlyLetters href=#end DON'T PANIC /a I've pushed a new version of the package experiment: https://github.com/mflatt/racket/tree/pkg You won't see much difference in terms of package splitting. I haven't even renamed -docs packages to -doc packages, yet. This new version

Re: [racket-dev] PLaneT(2): Single vs multi-collection packages

2013-06-05 Thread Matthew Flatt
At Tue, 4 Jun 2013 07:41:53 -0400, Eli Barzilay wrote: Yesterday, Jay McCarthy wrote: and you should deal with the non-proof of concept method of specifying it in, for instance, the info file, which is now package info AND collect info. This shouldn't be a problem At Tue, 4 Jun 2013

[racket-dev] updated proposal for moving to packages

2013-06-05 Thread Matthew Flatt
I've updated the package experiment again: https://github.com/mflatt/racket/tree/pkg State of the Proposal - Based on discussion of the initial proposal, http://lists.racket-lang.org/dev/archive/2013-May/012364.html I'm revising the proposal as follows: * The details

Re: [racket-dev] PLaneT(2): Single vs multi-collection packages

2013-06-06 Thread Matthew Flatt
At Thu, 6 Jun 2013 13:36:38 +0200, Laurent wrote: Some other the details: * A package's mode is recorded in the installed-package table. Otherwise, a linked package could switch modes just because the package directory's content changes, which would be difficult to keep in

Re: [racket-dev] updated proposal for moving to packages

2013-06-06 Thread Matthew Flatt
At Thu, 6 Jun 2013 10:00:56 -0400, Sam Tobin-Hochstadt wrote: When we have a small core, then there should be practically no packages without explicit dependencies --- when a package's dependencies are specified accurately, at least. Is it possible to enforce, either in the package system

Re: [racket-dev] PLaneT(2): Single vs multi-collection packages

2013-06-06 Thread Matthew Flatt
At Thu, 6 Jun 2013 10:17:28 -0400, Sam Tobin-Hochstadt wrote: If we go that way, then I'd characterize a single-collection package without 'single-collection' in info.rkt as a low-quality package, but a low-quality package is a fine starting point for a high-quality package. Would this

Re: [racket-dev] patch to enable no-sidebar option in scribble

2013-06-06 Thread Matthew Flatt
At Tue, 4 Jun 2013 18:55:51 -0400, Sean McBeth wrote: I'm not familiar with the ins and outs of Scribble, but it seems you could add to the scribble-style.css file: .tocsub{display:none;} True, but I think the 'no-sidebar style property is a fine addition. To me, the table of contents is the

Re: [racket-dev] Keywords

2013-06-06 Thread Matthew Flatt
At Thu, 9 May 2013 16:22:54 +0200, Laurent wrote: On Mon, May 6, 2013 at 2:52 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Anything is open for discussion, but speaking for myself, I'm not interested in revisiting keyword syntax or case sensitivity. I've always wondered why the syntax

Re: [racket-dev] updated proposal for moving to packages

2013-06-07 Thread Matthew Flatt
At Thu, 6 Jun 2013 11:35:20 -0600, Jay McCarthy wrote: On Thu, Jun 6, 2013 at 9:33 AM, Matthew Flatt mfl...@cs.utah.edu wrote: Since code in a package can synthesize a module reference dynamically, any static enforcement would have to be approximate, naturally (e.g., checks on all

Re: [racket-dev] bug in compiler ext dependencies?

2013-06-11 Thread Matthew Flatt
I've pushed your repair - thanks! I think I found (and fixed) similar problems with `require' and deleted files. At Mon, 10 Jun 2013 09:48:42 +0200, Tobias Hammer wrote: Hi, i think i found a bug in the handling of external dependencies (via register-external-file) in compiler/cm.

Re: [racket-dev] PLaneT(2): Single vs multi-collection packages

2013-06-14 Thread Matthew Flatt
I think more people need to speak up on this question --- particularly authors of existing packages, since the current proposal necessitates an update to each existing package. The proposal is to make single-package collections the default: * If a directory used as a package has no info.rkt

Re: [racket-dev] PLaneT(2): Single vs multi-collection packages

2013-06-15 Thread Matthew Flatt
At Fri, 14 Jun 2013 21:14:58 -0400, Greg Hendershott wrote: I just want to be clear what I need to do to keep compatibility with 5.3.4 for existing packages. If that means adding something to info.rkt to say, yeah, I'm still multi, I may do that. Yes, that's exactly what will be required for

Re: [racket-dev] updated proposal for moving to packages

2013-06-15 Thread Matthew Flatt
At Thu, 13 Jun 2013 17:44:17 -0400, Sam Tobin-Hochstadt wrote: I think we have, roughly, two options: 1. Something like the split Matthew's tree proposes. In fact, I think we need to split some things further, so that `gui-lib` doesn't depend on scribble-related things. 2. Something much,

Re: [racket-dev] updated proposal for moving to packages

2013-06-15 Thread Matthew Flatt
those instructions, of course. On Jun 15, 2013, at 11:41 AM, Matthew Flatt wrote: At Thu, 13 Jun 2013 17:44:17 -0400, Sam Tobin-Hochstadt wrote: I think we have, roughly, two options: 1. Something like the split Matthew's tree proposes. In fact, I think we need to split some things

Re: [racket-dev] experience using the `pkg` branch

2013-06-15 Thread Matthew Flatt
At Thu, 13 Jun 2013 17:56:52 -0400, Sam Tobin-Hochstadt wrote: * The error message when you look for a missing collection is really long if you have a lot of packages installed Yes. I have been thinking about whether there's a better solution than just not showing the paths, but I can just drop

Re: [racket-dev] updated proposal for moving to packages

2013-06-15 Thread Matthew Flatt
At Sat, 15 Jun 2013 12:33:30 -0400, Matthias Felleisen wrote: On Jun 15, 2013, at 12:15 PM, Matthew Flatt wrote: Can you say more about what is needed in addition to https://github.com/mflatt/racket/blob/pkg/INSTALL.txt ? We can continue to simplify the process and refine

[racket-dev] ready for the package switch?

2013-06-18 Thread Matthew Flatt
Here's the latest (in a pkg2 branch): https://github.com/mflatt/racket/tree/pkg2 Because this change will break all sorts of things in the short run, I'd like to feel more confident that enough of us are ready before merging it to the main Racket repository. So, vote in favor of the

Re: [racket-dev] ready for the package switch?

2013-06-18 Thread Matthew Flatt
At Tue, 18 Jun 2013 10:47:01 -0600, Matthew Flatt wrote: 1. Try the branch: git clone https://github.com/mflatt/racket.git Sorry --- that should be git clone git://github.com/mflatt/racket.git _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] ready for the package switch?

2013-06-18 Thread Matthew Flatt
At Tue, 18 Jun 2013 14:16:09 -0600, Matthew Flatt wrote: At Tue, 18 Jun 2013 16:13:09 -0400, Carl Eastlund wrote: I ran 'make', after rebasing, and eventually got this error: pkg: missing dependencies for package: pkgs/gui-pkgs/gui-lib missing packages: gui-x86_64-macosx

Re: [racket-dev] ready for the package switch?

2013-06-18 Thread Matthew Flatt
At Tue, 18 Jun 2013 13:56:14 -0400, Asumu Takikawa wrote: On 2013-06-18 10:47:01 -0600, Matthew Flatt wrote: Because this change will break all sorts of things in the short run, I'd like to feel more confident that enough of us are ready before merging it to the main Racket repository

Re: [racket-dev] ready for the package switch?

2013-06-18 Thread Matthew Flatt
At Tue, 18 Jun 2013 17:23:56 -0500, Robby Findler wrote: On Tue, Jun 18, 2013 at 3:14 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2013-06-18 10:47:01 -0600, Matthew Flatt wrote: Because this change will break all sorts of things in the short run, I'd like to feel more confident

Re: [racket-dev] ready for the package switch?

2013-06-18 Thread Matthew Flatt
At Tue, 18 Jun 2013 15:40:27 -0400, Ryan Culpepper wrote: I tried it. It works, but DrRacket doesn't find the macro stepper tool. The racket/lib/info-cache.rktd has an entry for the right location, but it also has another (lib macro-debugger) entry. Is this caused by having multiple modules

[racket-dev] package switch at 10:00am MDT today

2013-06-19 Thread Matthew Flatt
It sounds like we're ready, so I plan to push the change at 10:00am Utah time (which is noon in Boston and midnight in Taiwan). _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] [plt] Push #26989: master branch updated

2013-06-19 Thread Matthew Flatt
At Wed, 19 Jun 2013 15:54:00 -0400, Eli Barzilay wrote: Four hours ago, mfl...@racket-lang.org wrote: D collects/2htdp/image.rkt D collects/algol60/info.rkt D collects/browser/info.rkt D collects/compiler/embed-unit.rkt D collects/compiler/find-exe.rkt D

Re: [racket-dev] [plt] Push #26989: master branch updated

2013-06-20 Thread Matthew Flatt
At Thu, 20 Jun 2013 06:58:04 -0400, Eli Barzilay wrote: Yesterday, Eli Barzilay wrote: [...] some script that finds the recent rename of all files and make sure that it produces an expected result. Suspicious undetected renames (excluding info files, git files, etc):

Re: [racket-dev] [plt] Push #26996: master branch updated

2013-06-21 Thread Matthew Flatt
At Thu, 20 Jun 2013 13:31:00 -0600, Neil Toronto wrote: Should I do the same kind of thing with math/tests and plot/tests? In general, should everything have a separate tests package? It probably depends on the package/project. A project with separate -lib and -doc packages seems more likely

Re: [racket-dev] Difficulty running racket tests

2013-06-22 Thread Matthew Flatt
I've pushed repairs. At Sat, 22 Jun 2013 05:23:01 -0400, Carl Eastlund wrote: I get the following error when I try to run tests/racket/quiet.rktl: Section(basic) Section(unicode) Section(rx) Section(reading) Section(readtable) Section(printing) Section(macro) Section(syntax)

Re: [racket-dev] path-relative-string/setup

2013-06-22 Thread Matthew Flatt
I've restored `path-relative-string/setup'. My intent was to replace it with the function that is currently called `path-relative-string/setup/pkg', but I think there was some dependency issue, or maybe I was worried about new dependencies. I'll take another look at it. At Fri, 21 Jun 2013

<    1   2   3   4   5   6   7   8   9   10   >