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

24943 Commits

Author SHA1 Message Date
Eric Dobson
8d080b74cb Fix Struct-Type-Property. 
Closes PR 13593.
 2013-03-23 08:24:05 -07:00
Carl Eastlund
4ebf53e919 Add error checking to ensure blame-source produces a srcloc? as documented. 2013-03-23 01:06:25 -04:00
Carl Eastlund
c8f79dacbb Added tests for blame object source locations being srcloc structs. 2013-03-23 01:06:24 -04:00
Burke Fetscher
fe0fd0d152 Redex: remove some now extraneous code 2013-03-22 16:14:03 -05:00
Burke Fetscher
ddf4945125 Redex: corrections for disequations in generator 
- handle parameters correctly when simplifying disequations
- rework term generation/disequation checking for parameters
- fix define-extended-metafunction w/r/t the above
 2013-03-22 15:28:36 -05:00
Burke Fetscher
40fc96cacf Redex: rework metafunction compilation/search for parameters 2013-03-22 15:28:35 -05:00
Burke Fetscher
bdf1866e80 Redex: parameterized disequations 
refactor the pattern unifier and tests to handle
disequations with parameters correctly
 2013-03-22 15:28:35 -05:00
John Clements
564d244039 polarity flip in type error messages 2013-03-22 10:20:40 -07:00
Eli Barzilay
f1e5bd8fd4 Undo no-op change. 
As discussed:
  http://lists.racket-lang.org/users/archive/2013-March/056907.html
 2013-03-22 11:22:49 -04:00
Eli Barzilay
9f057857e5 Fix props order. 2013-03-22 11:21:04 -04:00
Jay McCarthy
04d723eea8 Fixing broken rackunit tests 2013-03-22 07:45:14 -06:00
Jay McCarthy
9f337c632a Removing the planet2 name from the code 2013-03-22 07:45:14 -06:00
Robby Findler
431efb40d1 Argh, sorry again. 
Revert "IN PROGRESS: working on syntax error messages for 2d"

This reverts commit 04ada66741.
 2013-03-21 22:48:47 -05:00
Robby Findler
04ada66741 IN PROGRESS: working on syntax error messages for 2d 2013-03-21 22:48:05 -05:00
Robby Findler
092d98656c fix plai/gc2/mutator for the case where a lambda-bound 
variable is shadowing something
 2013-03-21 22:48:05 -05:00
Robby Findler
0e6975fb2c add 'values' to plai/gc2/mutator language 2013-03-21 22:48:05 -05:00
Robby Findler
13bcb73050 typo in test suite 2013-03-21 18:59:23 -05:00
Tony Garnock-Jones
0399babc85 pretty-format returns a String, not Void 2013-03-21 18:11:28 -04:00
Matthew Flatt
3886b7702e fix for `syntax-local-value/immediate' 
The source locaiton on the second result was mangled.

Closes PR 12477
 2013-03-21 14:29:40 -06:00
Robby Findler
f166934700 adjust check syntax to deal properly with submodules at non-zero phases 
Thanks to Matthew for sorting this out.

(Also removed a bunch of line-ended space chars since git
yelled at me.)
 2013-03-21 13:08:34 -05:00
Matthew Flatt
30a4b481dd fix submodule declarations nested in phases > 1 2013-03-21 11:51:46 -06:00
Robby Findler
fe721eaef4 adjust options tests to match new multi-party blame printouts 2013-03-21 10:22:27 -05:00
Matthew Flatt
acd6764019 support boxes in syntax patterns and templates 
Also, `datum-case' and `datum' from `syntax/datum'.
 2013-03-21 09:06:15 -06:00
Matthew Flatt
899c742c56 slideshow: add `--clock' option 2013-03-21 08:51:09 -06:00
Jay McCarthy
804791b011 Adding test logging facility to rackunit and eli-tester, with its own test and docs 2013-03-21 07:02:50 -06:00
Eli Barzilay
0b31cb9168 Minor typo, reported by Dorai. 2013-03-21 00:17:40 -04:00
Robby Findler
8085707a8c adjust the multiple parties of blame printouts 2013-03-20 22:51:39 -05:00
Robby Findler
e5d91baa2c add interaction/no-prompt and clarify that interaction-eval 
doesn't catch errors
 2013-03-20 22:51:39 -05:00
Robby Findler
a29f37f18b added scribble-exn->string 2013-03-20 22:51:39 -05:00
Robby Findler
2792cd7b5f remove redundant check and minor cleanup 2013-03-20 22:51:39 -05:00
Matthew Flatt
e0486a7cf0 racket/gui: add warp-pointer' to window<%>' 
Removed the method from `canvas<%>', where it was never implemented
with the `racket/gui' reimplementation.
 2013-03-19 15:53:13 -07:00
Matthew Flatt
31964a11dc reference: improve docs on peeking 2013-03-19 15:48:22 -07:00
Matthew Flatt
dfcf50e165 scribble/manual: add a #:key' argument to deftech' 2013-03-19 15:48:21 -07:00
Robby Findler
496331498f add some random testing into the lexer option contract 2013-03-19 16:04:57 -05:00
Robby Findler
6c2ea3acbb add missing provides 2013-03-19 14:08:28 -05:00
Jay McCarthy
41e07b0cc6 Removing even/odd reading hack and just protecting parser from eof-ing ports 2013-03-19 08:58:41 -06:00
Ryan Culpepper
829a640299 reorganize code, expose stxclass rhs->parser helper 2013-03-18 19:14:05 -04:00
Ryan Culpepper
8f8b16e2ec fix "one term at a time" mode for lifts 
closes PR 13597
 2013-03-18 19:14:05 -04:00
Ryan Culpepper
ab9207dbc7 split out pattern optimization code 2013-03-18 19:14:04 -04:00
Ryan Culpepper
ae63f01cc7 improve pattern factoring, misc cleanup 2013-03-18 19:14:04 -04:00
Ryan Culpepper
34c1bdfc97 unfold pat:and to uncover more factoring opportunities 
Side clauses introduce pat:and, very common in stxclasses.
 2013-03-18 19:14:04 -04:00
Ryan Culpepper
d5068278f4 do factoring for stxclasses (non-splicing only) too 2013-03-18 19:14:04 -04:00
Ryan Culpepper
1de7045dd3 basic pattern factoring for syntax-parse 2013-03-18 19:14:04 -04:00
Ryan Culpepper
9d84c5fdf7 add #:commit, fix other typos 2013-03-18 19:14:04 -04:00
Ryan Culpepper
91cbbbbde2 change syntax-parse clause parsing code 2013-03-18 19:14:04 -04:00
Ryan Culpepper
616ca51f75 documented :stxclass patterns 
closes PR 13565
 2013-03-18 19:14:04 -04:00
Robby Findler
06696d67b4 add a #:pre keyword to define-metafunction 
The keyword allows the specification of contracts
that relate different arguments

closes PR 13617
 2013-03-18 12:54:27 -05:00
Michael Filonenko
35a093469c windows: extflonum support 
Enable extflonums in a MSVC build by relying on a MinGW-built DLL,
"longdouble.dll". The DLL is loaded on startup. If the DLL isn't
available, then `extflonum-available?' reports #f.

Instead of setting the floating-point mode globally to extended
precision, the mode is changed only just before (and restored right
after) extflonum arithmetic operations.
 2013-03-18 07:42:32 -07:00
Eric Dobson
ccc8b85cef Fix parsing of dotted formals. 
Closes PR 13576.
 2013-03-17 18:52:47 -07:00
Robby Findler
1e910fcfbc make check-metafunction and check-reduction-relation 
pay attention to the contract/#:domain spec

closes PR 13616
 2013-03-17 20:50:23 -05:00
Robby Findler
b63aa6bbac adjust commit 99ff0adbfd to 
be more friendly to the test suites
 2013-03-17 20:50:22 -05:00
Robby Findler
4bfd6ff6e3 document define-metafunction's contract patterns properly 
closes PR 13613
 2013-03-17 09:47:42 -05:00
Robby Findler
0dd7d8f60b adjust docs for check-metafunction to make the example 
use more representative

closes PR 13614
 2013-03-17 09:47:42 -05:00
Robby Findler
99ff0adbfd check errors earlier in judgment-form 
closes PR 13609
closes PR 13610
 2013-03-16 21:32:14 -05:00
Jay McCarthy
fd9fce47d9 Turn off DrDr testing 2013-03-16 10:39:49 -06:00
Robby Findler
a50dfcc670 add a test for drdr's consumption to keep the ryr models in sync 2013-03-16 11:20:44 -05:00
Mike Sperber
0d17d2bdf4 Synch German string constants with latest. 2013-03-16 15:06:01 +01:00
Robby Findler
0c5c41fd54 add clause-name to define-metafunction, to be used with the 
newly extended metafunction-cases
 2013-03-15 23:00:50 -05:00
Robby Findler
551150e805 tweaks to option contract usage 2013-03-15 15:38:13 -05:00
Robby Findler
ac93509d95 sorry, didn't mean to push this 
Revert "syntax/rect: IN PROGRESS"

This reverts commit 7880c6de3c.
 2013-03-15 15:38:13 -05:00
Robby Findler
7880c6de3c syntax/rect: IN PROGRESS 2013-03-14 16:36:51 -05:00
Robby Findler
79b5e4dc3a fix a bug that inhibited online compilation from writing out .zo files 
when it compiles required files

Now that this is fixed, the compilation manager will be (once again)
active when doing online compilation, so if the "Populate compiled
directories" checkbox is check (which it is by default) in the details
section of the language dialog, then online compilation will, as it
compiles your file, write out .zo files that will also be used by the
Run button.

The actual fix to this bug is the change in expanding-place.rkt (and
all it really does is move the setting of the
current-load/use-compiled and current-load parameters earlier so that
CM sees only the modified parameter settings and so doesn't give up on
compilation.

The rest of the changes are a test case (and change to drracket to
support the test case)
 2013-03-14 16:36:51 -05:00
Robby Findler
3b0d2f16da change compiler/cm so that the default logs the messages to 
a logger named compiler/cm
 2013-03-14 16:36:50 -05:00
Robby Findler
3f6232bc2d note that the logger-callback's default argument is #f 2013-03-14 14:11:02 -05:00
Robby Findler
1bc82cc404 add an "install package" GUI to DrRacket that calls into planet2 2013-03-14 10:27:49 -05:00
Robby Findler
36e871264a sync scribble docs with cmdline help text 2013-03-14 10:27:49 -05:00
Robby Findler
4f3cd996b1 add contracts, fix a bug, add a test case 2013-03-14 10:27:49 -05:00
Robby Findler
84ce7fa762 make parametric->/c do first-order checks for the argument/result 
contracts that it generates

closes PR 13600
 2013-03-14 10:27:49 -05:00
Eli Barzilay
230f120a3d Fix CRLF-ed file. 2013-03-14 11:01:10 -04:00
Eli Barzilay
af6be85ff5 Fix lots of indentation mistakes. 
(Found by my ayatollah script...)
 2013-03-14 10:55:47 -04:00
Eric Dobson
71d6189132 Cleanup of subtyping, additional comments, and improved short circuting. 2013-03-13 22:59:27 -07:00
Eric Dobson
714f667cf1 Add more hacky things to make with-handlers typecheck. 
Closes PR12644.
 2013-03-13 22:29:41 -07:00
Eric Dobson
75f89107b1 Make PolyDots be subtypes even if they have different fixed arguments. 2013-03-13 22:29:41 -07:00
Eric Dobson
6335de099e Make PolyDots actually subtype correctly. 2013-03-13 22:29:41 -07:00
Eric Dobson
6105ce8b20 Check actual args when form looks like for/list. 2013-03-13 21:45:03 -07:00
chrdimo
9743afeebf replacing transfer-option with transfer/c 2013-03-13 21:15:00 -04:00
Robby Findler
11969cdfa6 trim the list of new dots down to those that our latex 
setup seems to handle

(and actually add them to latex-render.rkt ...)
 2013-03-13 10:13:34 -05:00
Robby Findler
6914451426 fix readtable composition in #2d reader 2013-03-13 10:13:33 -05:00
Stevie Strickland
4119fab3ff Tests for define/contract and keyword interaction. 2013-03-12 18:15:02 -04:00
Stevie Strickland
6aab2f1445 Look for defines and handle them directly. 
Since keyword definitions expand into multiple defines, and inserting
the contract and external id definitions at the wrong point will cause
those to break, we handle define manually.

Hat-tip to Vincent for the idea.

Doing this means that we can't put a single splicing-syntax-parameterize
around the entire body, since it'll expand defines before we reach them,
so instead we add them around the expanded code.
 2013-03-12 18:13:43 -04:00
Stevie Strickland
50c2c54950 Fix with-contract when the contracted identifier is defined as syntax. 2013-03-12 16:51:38 -04:00
Robby Findler
cbd8f073a9 forgot to add tabular.rkt 2013-03-12 15:04:35 -05:00
Robby Findler
bb0795c502 an attempt at 2d documentation 2013-03-12 14:53:16 -05:00
Robby Findler
8adbd7e836 Adjusted a literal scribble tabular to use 2d 2013-03-12 14:53:15 -05:00
Robby Findler
a00bcfd16e add various dots to tex-table and thus drracket keyboard shortcuts 2013-03-12 14:53:15 -05:00
Robby Findler
6ce8f20801 document c:x;r;c 2013-03-12 14:53:15 -05:00
Eric Dobson
4683be8793 Add checks for failing to parse types. 2013-03-11 22:53:29 -07:00
Eric Dobson
17cb4fd8d0 Make vector-set! type correctly on complicated inputs. 
Closes PR13532.
 2013-03-11 21:52:11 -07:00
Robby Findler
74d5706c20 properly compose readtables 2013-03-11 18:53:40 -05:00
Robby Findler
443f998531 improve the way the font size callbacks work, wrt to interactivity 2013-03-11 18:53:40 -05:00
Robby Findler
635efe78a0 added a keybinding to center a line within its cell in a table 2013-03-11 18:53:40 -05:00
Robby Findler
d652d69d14 adjust 2d reader so the keyword has its own source location 
and is syntax-original?
 2013-03-11 18:53:40 -05:00
Eli Barzilay
a1437e71f7 Two doc typos. 
Closes PR 13590.
Closes PR 13591.
 2013-03-11 09:06:46 -04:00
Robby Findler
3e27388571 missed some changes related to addition of dont-care values 
in the lexers
 2013-03-10 21:56:43 -05:00
Robby Findler
761054890d extend the lexer <-> framework's color:text api 
to let lexers say "call me again before you change the buffer"

also, use this in the 2d lexer
 2013-03-10 20:17:20 -05:00
Robby Findler
282cdcbb5b adjust xmethod macro to yield a more helpful error message 2013-03-10 17:33:55 -05:00
Matthew Flatt
3f9fea063f readline: explicitly load "libncurses" 
Needed for OpenBSD
 2013-03-10 07:20:38 -06:00
Chen Xiao
a3a610ed32 doc repair 2013-03-10 06:39:07 -06:00
Matthew Flatt
939b36d1fe slideshow: fix bug related to `interactive' 
The viewer didn't remove interactives correctly.
 2013-03-10 06:29:02 -06:00
Robby Findler
da7a525452 oops 
(and the bigger mystery is why this didn't signal
an error when I ran the tests)
 2013-03-09 19:01:31 -06:00