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

350 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
af3449cf56 more file moving 
svn: r13797
 2009-02-23 03:02:00 +00:00
Sam Tobin-Hochstadt
a197c1b961 new directory 
svn: r13796
 2009-02-23 02:53:39 +00:00
Sam Tobin-Hochstadt
7020ff07a5 finished resolve-type 
svn: r13786
 2009-02-22 00:03:41 +00:00
Sam Tobin-Hochstadt
0343ae06f3 Remove macro-debugger require. 
Use `this-syntax'
More contract renamers
Finish type-abbrev.ss

svn: r13785
 2009-02-21 23:55:32 +00:00
Sam Tobin-Hochstadt
a1fb696233 type-utils.ss now compiles 
svn: r13782
 2009-02-21 20:19:44 +00:00
Sam Tobin-Hochstadt
b57c78e0a4 finished implementing printing 
svn: r13779
 2009-02-21 18:31:23 +00:00
Sam Tobin-Hochstadt
b14da998bf rename printer file 
svn: r13778
 2009-02-21 18:08:11 +00:00
Sam Tobin-Hochstadt
85de5f27bf checkpoint 
svn: r13777
 2009-02-21 18:07:07 +00:00
Sam Tobin-Hochstadt
99f678e1ba merge ryan's changes 
svn: r13773
 2009-02-21 17:07:29 +00:00
Sam Tobin-Hochstadt
50f513be41 printer now compiles 
svn: r13772
 2009-02-21 17:07:19 +00:00
Sam Tobin-Hochstadt
70e174c0e1 Type rep compiles 
svn: r13768
 2009-02-21 15:23:42 +00:00
Sam Tobin-Hochstadt
0edfd7f31f Finished new representation defs and folding. 
New definition of `define-requirer' that doesn't use lib requires.
New `defprinter' syntax.

svn: r13755
 2009-02-20 23:35:02 +00:00
Sam Tobin-Hochstadt
428e7c471b checkpoint 
svn: r13749
 2009-02-19 21:28:41 +00:00
Sam Tobin-Hochstadt
72ff13bea9 new function representation 
svn: r13744
 2009-02-19 17:39:19 +00:00
Sam Tobin-Hochstadt
e5e0adb499 checkpoint again 
svn: r13735
 2009-02-19 01:39:11 +00:00
Sam Tobin-Hochstadt
26fe69d9a7 fix some strange stxclass strangeness 
svn: r13722
 2009-02-18 04:31:28 +00:00
Sam Tobin-Hochstadt
c0861fd39b checkpoint again 
svn: r13718
 2009-02-18 02:58:47 +00:00
Sam Tobin-Hochstadt
7d5581b06f move 
svn: r13716
 2009-02-18 01:58:11 +00:00
Sam Tobin-Hochstadt
a8a9af73d8 checkpoint 
svn: r13715
 2009-02-18 00:28:01 +00:00
Sam Tobin-Hochstadt
00ff608247 Move contract-enabling code to utils/utils 
Move `cnt' signature form to utils/utils, controlled by same boolean.
Use `w/c' and `p/c' to enable/disable contracts in dt/de.
Contract for `ret'.

svn: r13699
 2009-02-17 17:30:30 +00:00
Sam Tobin-Hochstadt
cc1265fc61 Fix contract on App. 
Fix function construction for rec-lambda/check
Re-enable printing.

svn: r13687
 2009-02-17 01:09:23 +00:00
Sam Tobin-Hochstadt
14475467b2 contracts on types and effects 
svn: r13685
 2009-02-17 00:43:47 +00:00
Sam Tobin-Hochstadt
347035fae9 sync to trunk 
svn: r13683
 2009-02-16 23:23:35 +00:00
Sam Tobin-Hochstadt
54d17355c3 Use stxclass for `require/typed'. 
svn: r13658
 2009-02-16 14:16:36 +00:00
Sam Tobin-Hochstadt
eba3b5d54d docs for provide: 
svn: r13645
 2009-02-16 02:29:33 +00:00
Sam Tobin-Hochstadt
3205875736 Add provide: 
svn: r13643
 2009-02-16 02:23:50 +00:00
Sam Tobin-Hochstadt
02efc28dff Fix error message when polymorphic inference fails because of expected type. 
Add test case.

svn: r13639
 2009-02-16 02:12:13 +00:00
Sam Tobin-Hochstadt
24e4cf5aca Merge in changes from type-keys branch: 
- Use stxclass for defintern/dt/de
- Add type keys to optimize subtyping
- Fancier printing when regular printing is disabled for debugging.
- Caching of the results of subtyping.
- Contracts for hashtable types (still insufficent)
- add type for `last-pair' from `scheme/list'
- new "private/type-abbrev.ss" which contains things 
  from "private/type-effect-convenience.ss" that don't 
  need subtyping/unions
- Don't use the real union constructor on mu unfolding
- more work on (not yet enabled) stxclass type parser
- Naming sanity in tests

svn: r13628
 2009-02-15 22:56:14 +00:00
Sam Tobin-Hochstadt
bf1aaa9dcb add contract conversion for hashtables 
svn: r13617
 2009-02-15 21:55:03 +00:00
Sam Tobin-Hochstadt
ed83737d5f subtype caching 
svn: r13615
 2009-02-15 21:30:02 +00:00
Sam Tobin-Hochstadt
345abb820b Use stxclass for defintern. 
Use stxclass for dt and de, and refactor/simplify.
Don't use the real union for unfolding mu types.
Add some descriptions to syntax classes for type parsing.

svn: r13597
 2009-02-15 04:01:30 +00:00
Sam Tobin-Hochstadt
7830091d42 re-enable printing 
svn: r13581
 2009-02-14 20:48:26 +00:00
Sam Tobin-Hochstadt
e198478055 type keys now work, mostly 
svn: r13580
 2009-02-14 20:27:37 +00:00
Sam Tobin-Hochstadt
e13c4b690d new branch initial commit 
svn: r13578
 2009-02-14 16:03:25 +00:00
Ryan Culpepper
44efc7cb48 stxclass: 
fixed scoping of attributes (wrt declare)
  added 'attribute' form
  added internal/external literals form

svn: r13574
 2009-02-14 12:17:14 +00:00
Sam Tobin-Hochstadt
e61075a4fd Default types for lambda formals. 
svn: r13539
 2009-02-12 23:55:53 +00:00
Sam Tobin-Hochstadt
8802b83c0a typed-scheme 
- use syntax classes for tc-literal
 - remove one-armed if
 - fix comments
 - use syntax classes for find-annotation
 - unit contracts for inference unit and typechecker unit
 - macro to enable/disable unit contracts
 - correct fold/free-var calculation for latent effects
 - documentation improvements
 - add bindings for additional special type forms
 - U and Un are the same binding, same with Tuple and List
 - fix types for integer?, exact-integer?
 - write not-yet-enabled syntax-class based type parser

svn: r13440
 2009-02-04 23:39:38 +00:00
Sam Tobin-Hochstadt
9f77daab41 fix expr attribute 
svn: r13438
 2009-02-04 23:07:09 +00:00
Sam Tobin-Hochstadt
f867eea8c3 take out work on paths, now compiles 
svn: r13431
 2009-02-04 20:57:28 +00:00
Sam Tobin-Hochstadt
3ab3c8d368 commit work to new branch, doesn't work yet 
svn: r13427
 2009-02-04 20:19:41 +00:00
Sam Tobin-Hochstadt
2962c0bfa7 Fix handling of inexact integer literals. 
svn: r13294
 2009-01-27 17:55:10 +00:00
Eli Barzilay
4288ba636e fix the type of > and indent 
svn: r13275
 2009-01-24 21:13:15 +00:00
Ryan Culpepper
eb9fe4847f stxclass: created stxclass collection, with docs 
svn: r13255
 2009-01-22 05:50:55 +00:00
Eli Barzilay
d1a0086471 newlines at EOFs 
svn: r13105
 2009-01-14 03:10:47 +00:00
Matthew Flatt
ec600c59bb fine-tune typechecking index entry 
svn: r12920
 2008-12-21 13:57:46 +00:00
John Clements
424ec50bfb ... 
svn: r12919
 2008-12-21 10:00:47 +00:00
Sam Tobin-Hochstadt
ea0873adb2 Handle top-arr in infer. Add convenience binding for function top. 
svn: r12745
 2008-12-08 18:24:33 +00:00
Sam Tobin-Hochstadt
8c4789a627 Initialize `infer' for env-lang. 
svn: r12740
 2008-12-08 16:54:13 +00:00
Sam Tobin-Hochstadt
587ca08466 Don't fail early here. 
svn: r12729
 2008-12-08 03:37:24 +00:00
Sam Tobin-Hochstadt
dd8e878cb4 Fix time-apply, add test 
svn: r12727
 2008-12-08 03:12:38 +00:00