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

21 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
e69f6e126a Reorganize initial type definitions to use DSL. 
Split special type names into base-types-extra.ss
Fix test require.
Base types are now require in main.ss

svn: r12203
 2008-10-31 17:12:16 +00:00
Sam Tobin-Hochstadt
15e7be91f5 Reorg to separate out files. 
svn: r11857
 2008-09-24 19:56:48 +00:00
Sam Tobin-Hochstadt
5ac64589ba reorg 2008-09-09 17:40:26 -04:00
Sam Tobin-Hochstadt
85a0fa22d1 progress 2008-09-02 20:25:23 -04:00
Sam Tobin-Hochstadt
24a98cf061 Provide some names 
svn: r11114
 2008-08-06 20:48:02 +00:00
Stevie Strickland
402de6f090 Yes, we need the hyphen. 
svn: r10968
 2008-07-29 17:10:01 +00:00
Stevie Strickland
be456fec94 Actually, revert that last change. What we'll do is: 
* Fix up things so that we actually use 'temp-dir via find-system-path
    instead of using /tmp always
  * Turn off logging via the logging? for-syntax definition.

svn: r10967
 2008-07-29 17:06:11 +00:00
Stevie Strickland
2d9a48a11d This shouldn't have been left in. 
svn: r10966
 2008-07-29 16:58:21 +00:00
Sam Tobin-Hochstadt
2866efd348 logging 2008-07-14 08:48:14 -04:00
Sam Tobin-Hochstadt
055eb3cd0b Source location in synthetic module begin. 2008-06-16 16:34:09 -04:00
Sam Tobin-Hochstadt
e2c0b4e642 Implement dmap operations. 
Remove lots of unneeded requires.
Add in-list-forever and extend to utils.ss
Add optional variable argument to c-meet.
 2008-06-12 17:10:31 -04:00
Sam Tobin-Hochstadt
606ef69d20 Switch subtype to use infer.ss for unification. 2008-06-10 15:05:13 -04:00
Sam Tobin-Hochstadt
1da9a0c4b8 Add namespace ops. 
Check if typecheck returned nothing for top-level form.
Improve error message.

svn: r10160
 2008-06-05 21:36:45 +00:00
Sam Tobin-Hochstadt
dbc3fa4367 Reduce quantity of requires. 
svn: r9665
 2008-05-05 21:27:10 +00:00
Sam Tobin-Hochstadt
fd44d9b01f Improve the type of andmap. 
Steps toward reducing the number of initializations.

svn: r9612
 2008-05-02 23:35:37 +00:00
Sam Tobin-Hochstadt
97715dc9fb Use library nest. 
svn: r9598
 2008-05-02 18:03:05 +00:00
Sam Tobin-Hochstadt
8307bf835b Fix new inference algorithm to handle all test cases. 
svn: r9538
 2008-04-29 21:42:37 +00:00
Sam Tobin-Hochstadt
1039055628 Don't print "checked foo". 
Improve names in recursive contracts.

svn: r9298
 2008-04-14 18:13:59 +00:00
Sam Tobin-Hochstadt
f23af68d6b Split type defns into base-types.ss 
Reformat.

svn: r9273
 2008-04-12 00:10:32 +00:00
Eli Barzilay
5ff5d6c580 misc things 
svn: r8866
 2008-03-04 02:46:54 +00:00
Sam Tobin-Hochstadt
0d54ed5e74 Add Typed Scheme as a collection. 
svn: r8864
 2008-03-03 22:57:55 +00:00