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

28711 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Jay McCarthy
cd0e0266e2 Starting to store and display curation information 2013-04-04 07:38:57 -06:00
Robby Findler
13d7cc1184 fix careless error 2013-04-04 07:36:33 -05:00
Robby Findler
ecf2b16bf0 refactor the plt installation code in drracket to pull out 
the GUI wrapper around command-line like utilities
 2013-04-03 22:23:26 -05:00
Robby Findler
15abd8f9dd remove unused require 2013-04-03 22:23:26 -05:00
Eli Barzilay
af027020ba Adjust tests to x' instead of ×'. 2013-04-03 19:53:58 -04:00
Eli Barzilay
8ffd887847 Test for being able to customize struct printouts. 2013-04-03 18:10:22 -04:00
Eli Barzilay
448a62eae4 Avoid non-ascii character in numeric formats. 2013-04-03 18:10:22 -04:00
Eli Barzilay
a1e31f2f68 mailmap updates & fixes. 2013-04-03 18:10:22 -04:00
Danny Yoo
6e32a25253 Defensively check pos before subtraction in module-reader.rkt. 2013-04-03 14:26:16 -06:00
Eric Dobson
04ef9db1b3 Turn dynamic-requires into lazy-requires in TR. 
Closes PR 13621.
 2013-04-03 09:49:40 -07:00
Eric Dobson
6c2e75ac7e Make +,*,min,max support precise unary types. 
Closes PR 13563.
 2013-04-03 09:33:02 -07:00
Eric Dobson
0e0f1cd670 Adds subtyping for filters, and fixes -FS to be more precise. 
Closes PR 12817.
 2013-04-03 09:25:28 -07:00
Robby Findler
cce76eba00 fix bug in untar when unpacking a tar file with top-level files 2013-04-03 10:18:02 -05:00
Robby Findler
77a1b55c32 hide the testing of the close parens with an edit-sequence 2013-04-02 21:26:43 -05:00
Robby Findler
944602440c add response/output 2013-04-02 21:26:32 -05:00
Vincent St-Amour
ffc90239d0 Fix test for new complex division. 2013-04-02 17:32:29 -04:00
Tony Garnock-Jones
c5df74f662 Show the offending value when a TR-introduced Any contract fails 2013-04-02 16:29:11 -04:00
Tony Garnock-Jones
f2616b934c Avoid stripping location information from syntax object in warning message. 2013-04-02 16:29:11 -04:00
Vincent St-Amour
b808d2809e Fix optimization on exp of complex numbers. 
Found using random testing.
 2013-04-02 16:29:11 -04:00