suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
37,761 Commits 17 Branches 54 Tags 278 MiB
fix-syntax-parse
Commit Graph

37761 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Robby Findler
21964bd89e add some tests to help when porting to new enumeration combinators 2014-11-21 15:20:14 -06:00
Robby Findler
f0b2e429f5 fix docs for color% constructor to match implementation 2014-11-21 15:10:06 -06:00
Sam Tobin-Hochstadt
bb83f51a28 Avoid trying to check dependencies for planet packages. 2014-11-21 14:18:31 -05:00
Sam Tobin-Hochstadt
b1d4dd382c Port the slidey game to Typed Racket. 
Work done by Earl Dean.
 2014-11-21 14:18:31 -05:00
Asumu Takikawa
85b70aef7f Fix infer-self-type for depth overriden methods 
When an overriden method implements a subtype of the superclass
type, sometimes the typechecker gets confused what the type should
be in the resulting class type.
 2014-11-21 14:17:16 -05:00
Robby Findler
983eaa5284 change the number printed at the bottom of tally maze to be the board 
index of the current board, not the initial board
 2014-11-21 08:55:38 -06:00
Asumu Takikawa
591147dd02 Fix with-type when used at the top-level 
In some situations, with-type would fail to clean up its
state before reporting an error at the top-level.
 2014-11-21 02:07:11 -05:00
Asumu Takikawa
381078510a Remove unused requires in TR 2014-11-21 01:46:52 -05:00
Asumu Takikawa
826a08d80c Put Instance types in the seen list for subtyping 
Since we resolve under Instance types for subtyping we
need to put them in the current-seen list too. Fixes
an infinite loop bug in subtyping.
 2014-11-20 20:42:08 -05:00
Asumu Takikawa
9b4e3befa3 Remove the depth subtype check on #:implements 
This check was not really necessary to begin with,
but I thought it might be a useful sanity check. In
retrospect, calling `subtype` here causes other headaches
(such as when registering type aliases) and is confusing
when multiple #:implements are provided.

Instead, the #:implements clauses are just linearized
and the last type for any given method/field is taken.

This may also prevent a heisenbug that occurs in the
GUI framework types. I still don't know the root cause of
that non-determinism though.

Closes PR 14669
 2014-11-20 12:20:28 -05:00
Asumu Takikawa
56e7026b16 Add #:implements/inits for Class types 
Allows some Class types to be written more concisely.
 2014-11-20 12:20:28 -05:00
Robby Findler
3d175cedc8 whoops, forgot to fix decode in the docs 2014-11-20 11:05:18 -06:00
Robby Findler
0c31890e59 adjust to renaming in data/enumerate 2014-11-20 10:58:06 -06:00
Robby Findler
f2c01e780b rename encode/decode to to-nat/from-nat 
also, Rackety for 102 columns and drop the nat? and
extended-nat? exports, using instead the standard
names for those concepts: exact-nonnegative-integer?
and (or/c exact-nonnegative-integer? +inf.0)
 2014-11-20 10:58:06 -06:00
Matthew Flatt
1b4236722d raco setup: fix --fix-pkg-deps to imply --check-pkg-deps 2014-11-20 07:50:11 -07:00
Matthew Flatt
aa5e7d1039 remove redundant declaration & GC registration 2014-11-20 07:50:11 -07:00
Matthew Flatt
67ec4fb982 fix use of embedded bytecode 2014-11-20 07:50:10 -07:00
Robby Findler
d017dbdeda more ellipsis snip fixes 2014-11-20 07:50:33 -06:00
Robby Findler
372b4d072b fix up some problems with ellipsis snips 
Thanks to Stephen Chang for the help here.

closes PR 14754
 2014-11-19 22:40:46 -06:00
Robby Findler
b6ebd4101a add a new section to the contract guide on building combinators, plus 
export a few new functions to smooth some rough edges in the new combinators api
 2014-11-19 22:40:46 -06:00
Robby Findler
bc6492a797 remove unused require 2014-11-19 22:40:46 -06:00
Robby Findler
56f9fdc8f3 move contracts section of guide into its own subdirectory 2014-11-19 22:40:45 -06:00
Asumu Takikawa
84de4fd8e3 Bump up DrDr timeout for with-tr-contracts.rkt 2014-11-19 17:39:16 -05:00
Ryan Culpepper
a067dcacb0 fix gvector shrinking condition 2014-11-19 14:20:13 -05:00
Ryan Culpepper
5ac4ab32b7 fix gvector on large argument list 2014-11-19 14:20:13 -05:00
Sam Tobin-Hochstadt
ed4845b39b Handle empty gvectors when doubling size. 
Closes PR 14843.
 2014-11-19 14:08:11 -05:00
Sam Tobin-Hochstadt
aad0fa5884 Fix init arg order for Message% type. 2014-11-19 10:57:08 -05:00
Asumu Takikawa
6c9172f50f Fix tooltip test/contracts for TR contract mode 2014-11-18 21:38:39 -05:00
Asumu Takikawa
8bff995f41 Fix type tooltips for multiple values 
This broke when I made the printing lazier using thunks.

Also use regexps for the tooltip tests.
 2014-11-18 18:28:58 -05:00
Asumu Takikawa
f9e2231ce9 Add tests for TR's tooltip computation 2014-11-18 18:28:58 -05:00
Asumu Takikawa
1d86e173a5 Use the original syntax to guide tooltip shape 2014-11-18 18:07:28 -05:00
Asumu Takikawa
c170b8288c Handle case-> types better for tooltips 
The use of case-> can cause an expression to get
typechecked multiple times, so the tooltips should reflect
all of the passes.
 2014-11-18 18:07:28 -05:00
Asumu Takikawa
c2abbc700d Compute type tooltips better for macro expansions 
Macros often expand into forms where the subforms have
the same syntax location as the entire form, which means
a naive approach gives confusing type tooltips on macro
expressions.

Instead, only keep the latest (outermost) type tooltip
for a given expression.

We could instead compute whether a given piece of syntax
is a subform of another at a given location or not, but
that check is expensive and we don't want to do that on
every update of the type table.
 2014-11-18 18:07:28 -05:00
Sam Tobin-Hochstadt
a64dadc78c Fix internal error. 
Needs a real fix in the future to actually support this case.
Noted in a program from Matthias Felleisen.

Fixes PR 14841.
 2014-11-18 17:49:27 -05:00
Asumu Takikawa
27132ee061 Relax parsing of All types and type annotations 
Closes PR 14839
 2014-11-18 13:59:34 -05:00
Jay McCarthy
04be65f781 Improve serve/servlet docs re JBC 2014-11-18 13:56:55 -05:00
Jay McCarthy
2307c427d5 Fix test for new DrDr 2014-11-18 13:56:55 -05:00
Jay McCarthy
90bd44a622 Shrinking dependencies and moving enumerate tests 2014-11-18 13:56:55 -05:00
Matthew Butterick
0ae2a0fa87 Typo, fixed 2014-11-18 12:01:10 -05:00
Jay McCarthy
804599fe98 Adding dep that raco setup doesn't show on my machine 2014-11-18 10:44:20 -05:00
Ryan Culpepper
26fe66b141 syntax/parse: fix action patterns in splicing stxclass 
closes PR 14837
 2014-11-18 10:33:15 -05:00
Jay McCarthy
c4684c12e6 Fixing exports and actually adding docs 2014-11-18 08:38:42 -05:00
Jay McCarthy
8a9b9c006f Adding documentation 2014-11-17 23:05:12 -05:00
Jay McCarthy
1b2c8ef2ef Adding contracts to data/enumerate 2014-11-17 23:05:11 -05:00
Jay McCarthy
981a68bba6 Moving enumerator 2014-11-17 23:05:11 -05:00
Jay McCarthy
4128666660 Cleanup small errors 2014-11-17 23:05:11 -05:00
Jay McCarthy
6b73593631 Fixing JS insertion error. Thanks Tony 2014-11-17 23:05:11 -05:00
Jay McCarthy
fd8676d50f Add some TLC 2014-11-17 23:05:11 -05:00
Robby Findler
26af633b1f fix incorrect fix from 5495595535 for #:generate default arg 2014-11-17 06:57:40 -06:00
Robby Findler
5495595535 generalize the random contract generation APIs to allow 
a more dynamic notion of failure

use that to try harder with and/c contracts. In particular,
the contract system now tries to generate the arguments
on their own and then uses the other arguments to filter
(when they are all flat contracts, of course)

closes PR 14832
 2014-11-16 20:48:41 -06:00