suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
28,530 Commits 17 Branches 54 Tags 278 MiB
77163fe8d1
Commit Graph

28530 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Robby Findler
77163fe8d1 add the ability to load in new mixins to DrRacket's 
various get/extend:extend functions
 2013-04-05 22:39:20 -05:00
Robby Findler
b05767ab13 add support for firing up a REPL to poke at DrRacket 2013-04-05 22:39:19 -05:00
Robby Findler
0ea2b61857 fix bug in online check syntax 2013-04-05 22:39:19 -05:00
Asumu Takikawa
9eaf5aaddb Remove unnecessary type->contract case 2013-04-05 16:56:50 -04:00
Asumu Takikawa
0161dfdf16 Translate Value types to ctcs with better names 
e.g., True -> '#t  instead of
      True -> "#t" for a flat-named-contract
 2013-04-05 16:56:50 -04:00
Vincent St-Amour
fe83da9bdf Eliminate intermediate lists. 2013-04-05 16:47:11 -04:00
Vincent St-Amour
f10e1fd58d Avoid duplicate work. 2013-04-05 16:47:11 -04:00
Vincent St-Amour
d3507c4c3e Preserve source location for struct constructor contracts. 2013-04-05 16:47:11 -04:00
Vincent St-Amour
ad9de1f325 Error message typo. 2013-04-05 16:47:11 -04:00
Ryan Culpepper
1d04ce2069 move unstable/redex to unstable/gui/redex to fix dist-specs 
Also, don't use unsupported unicode chars.
(Should these be added to latex renderer?)
 2013-04-05 16:01:50 -04:00
Robby Findler
9af84cb549 add note about define-judgement-form fix 2013-04-05 10:22:41 -05:00
Robby Findler
cfe3a7d5bf Separate out mrlib/terminal from the rest of mrlib, dependencieswise 
The mrlib/terminal library fits in the mrlib collection in that it is
a random library that uses our GUI system that doesn't belong in
racket/gui somewhere.

It also doesn't really fit into the framework as the framework is
supposed to be a colleciton of useful mixins for our racket/gui
classes.

It does, however, benefit from using the framework (and the string
constants library) so the best option seems to be to think of mrlib as
consisting of separate libraries that fit into two different layers
of the dependency hierarchy. So that's what this commit does.
 2013-04-05 10:22:33 -05:00
Robby Findler
117819a5c9 Revert "adjust dependencies to allow mrlib/terminal to use the framework" 
This reverts commit aa29fe01a8.

This change merges too much stuff into a high layer of the dependency structure
 2013-04-05 10:22:33 -05:00
Robby Findler
e34e63b323 add support for updating packages via 
drracket's "install package" menu item

It will infer whether to use 'raco pkg update' or
'raco pkg install' based on the currently installed
set of packages (but, of course, the details
section of the dialog lets you override this inference
if necessary)
 2013-04-05 10:22:33 -05:00
Robby Findler
e3b580c200 add installed-pkg-names 2013-04-05 10:22:33 -05:00
Robby Findler
eb7c5ad84c add edit|copy and edit|select all menu items to mrlib/terminal frames 2013-04-05 10:22:33 -05:00
Eli Barzilay
26273db266 Avoid output in ftp tests. 
Also add a note explaining why the output is not tested.
 2013-04-05 02:23:43 -04:00
Eli Barzilay
6149134011 Misc improvements to net/dns' and net/private/ip'. 
* Some racketisms.

* Use explicit `in-list' etc in for loops.

* Remove some redundant requires from `net/dns'.

* Move all tests to `tests/net', including a new `tests/net/ip'.  In the
  future there's a plan to have things like stripped zos etc for
  distribution, but we're not there yet, and the net collection is
  already organized nicely so this also makes it more uniform.

* Include the dns tests in the main test file.
 2013-04-05 02:23:43 -04:00
Burke Fetscher
d00099dbdb Redex: pass language id through for term errors 2013-04-04 22:59:14 -05:00
Robby Findler
aa29fe01a8 adjust dependencies to allow mrlib/terminal to use the framework 
Not sure if this is the right fix, but hopefully it will allow
the build to happen while we debate the right fix.
 2013-04-04 22:04:12 -05:00
Burke Fetscher
4410ecceb2 Redex: fix term-let/#:lang keyword interaction 
Account for the fact that define-language bindings may get
shadowed by term-let when using the same identifier as the language.
 2013-04-04 20:38:08 -05:00
Asumu Takikawa
8483a1493f Fix the returned type of dns-get-mail-exchanger. 2013-04-04 16:11:28 -04:00
Asumu Takikawa
35e791be4e Adjust type for dns-get-address 2013-04-04 16:11:28 -04:00
Claire Alvis
04f535cadc Default implementations are only reached in the absence of method tables. 2013-04-04 15:31:51 -04:00
Vincent St-Amour
16a75761b0 Make TR-generated identifiers have the same name as original identifiers. 
Makes error messages nicer, and makes it easier to correlate with source code.
 2013-04-04 15:31:51 -04:00
Vincent St-Amour
ff3d785da2 Use locations from typed identifiers for type-generated contracts. 2013-04-04 15:31:51 -04:00
Vincent St-Amour
459c731bb9 Have Optimization Coach report unsound float division missed optimizations. 2013-04-04 15:31:50 -04:00
Asumu Takikawa
02989b23a1 Fix ipv4 check on addresses with a leading 0 2013-04-04 14:03:23 -04:00
Asumu Takikawa
0b55cf3df2 Refine contract check 2013-04-04 14:03:23 -04:00
Asumu Takikawa
e62bb05f05 Fix equality check 2013-04-04 14:03:23 -04:00
Asumu Takikawa
f904bd8ba5 Make IP addresses immutable 2013-04-04 14:03:23 -04:00
Ryan Culpepper
ffa589116f added unstable/redex with useful typesetting (rewriter) helpers 2013-04-04 13:28:01 -04:00
Ryan Culpepper
516f56fc83 added with-eval-preserve-source-locations to scribble/eval 
Makes it possible to show examples of redex term->pict, etc.
 2013-04-04 13:28:01 -04:00
Asumu Takikawa
92102a2f07 Use net/private/ip in net/dns 
This simplifies the code by outsourcing IP
address functionality to net/private/ip.
 2013-04-04 13:05:56 -04:00
Asumu Takikawa
4e76ae8c11 Add an IP address library 
The library currently lives in a private subfolder so
that the interface can still be changed. The idea is to
eventually make it a top-level `net` library once it is
more mature.
 2013-04-04 13:05:56 -04:00
Robby Findler
8246d073c0 adjust the package installation menu item in drracket to use mrlib/terminal 2013-04-04 11:10:30 -05:00
Eric Dobson
94861becd0 Fix untested contract generation code. 
Closes PR 13449.
 2013-04-04 08:29:15 -07:00
Eric Dobson
76de4d3cca Fix tc-apply to correctly generate expected ValueDots filters. 
Closes PR 13649.
 2013-04-04 07:45:15 -07:00
Eric Dobson
2b8efd6676 Fix contracts in TR. 2013-04-04 07:43:08 -07:00
Eric Dobson
17b9ed0a75 Fix prefix-of. 
Closes PR 13448.
 2013-04-04 07:42:45 -07:00
Eric Dobson
5ec7401f1f Add example of (List t ... bound). 
Closes PR 11903.
 2013-04-04 07:41:53 -07:00
Eric Dobson
c295608282 Add doc for #:no-optimize. 
Closes PR 13001.
 2013-04-04 07:41:53 -07:00
Vincent St-Amour
d00a579c5a Document not yet fixed optimizer bugs found using random testing. 2013-04-04 10:05:53 -04:00
Vincent St-Amour
a50d9bad7e Avoid unsound optimization for complex division. 
Found using random testing.
 2013-04-04 10:05:53 -04:00
Jay McCarthy
0003b737bd Doctrinal purity 2013-04-04 07:38:57 -06:00
Jay McCarthy
d630a09247 Add xrefs and advice re Robby 2013-04-04 07:38:57 -06:00
Jay McCarthy
2bd19d1604 Add xrefs and advice re Robby 2013-04-04 07:38:57 -06:00
Jay McCarthy
0cbf694468 Fixing error with uninitialized packages 2013-04-04 07:38:57 -06:00
Jay McCarthy
9df0c7c7b0 Changing breadcrumbs 2013-04-04 07:38:57 -06:00
Jay McCarthy
6a4af88d6a Setting up the conflict detection framework 2013-04-04 07:38:57 -06:00