suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
e92c35d90c
racket/collects/typed-scheme/private
History
Stevie Strickland b991505297 Just tried the following program: 
#lang typed-scheme

(require/typed
  srfi/1
  (fold (All (a b) ((a b -> b) b (Listof a) -> b))))

And got an error because (orig-module-stx) was #f.  I'm not sure whether
it should have been or not, but I've fixed up this to handle that case
(having it just use the normal error message when that's #f, as I'm not
sure whether the error message would be correct otherwise).

However, it might just be that (orig-module-stx) should have not been
#f, in which case this should be checked out.
2008-07-13 21:47:36 -04:00
..
base-env.ss Fix handling of mutable structs (setters != getters) 2008-07-13 17:31:58 -04:00
base-types.ss Reduce quantity of requires. 2008-05-05 21:27:10 +00:00
check-subforms-unit.ss Implement dmap operations. 2008-06-12 17:10:31 -04:00
constraint-structs.ss * Added code to check that substitution gets rid of all appropriate 2008-06-20 13:07:08 -04:00
constraints.ss Revert last change. 2008-06-20 15:47:56 -04:00
def-binding.ss Use contracts for def-binding. 2008-04-08 17:42:13 +00:00
defstruct-unit.ss Switch to #lang everywhere. 2008-03-20 13:31:18 +00:00
dmap.ss * Added code to check that substitution gets rid of all appropriate 2008-06-20 13:07:08 -04:00
effect-rep.ss Add Typed Scheme as a collection. 2008-03-03 22:57:55 +00:00
extra-procs.ss values with dots 2008-07-07 11:01:42 -04:00
free-variance.ss Switch these over to for/for*. Avoid the hash-copy calls as well, since 2008-07-13 12:14:15 -04:00
infer-dummy.ss * Fixed calls to infer that didn't give must-vars argument 2008-06-20 14:48:47 -04:00
infer-unit.ss I'm not sure if this is correct, but this handles the cases where we're 2008-07-12 22:30:00 -04:00
infer.ss Unitize some more. 2008-06-12 15:43:42 -04:00
init-envs.ss Fix code gen for PolyDots defs. 2008-06-16 16:32:34 -04:00
internal-forms.ss Switch to #lang everywhere. 2008-03-20 13:31:18 +00:00
interning.ss new hash function names and ops (3.99.0.23) 2008-04-08 21:42:38 +00:00
lexical-env.ss Checkpoint. 2008-06-17 18:10:17 -04:00
mutated-vars.ss Fix mutated-vars for #%plain-lambda. 2008-04-10 23:20:17 +00:00
parse-type.ss values with dots 2008-07-07 11:01:42 -04:00
planet-requires.ss Don't statically require mred in tests. 2008-05-22 16:36:06 +00:00
prims.ss Fix handling of mutable structs (setters != getters) 2008-07-13 17:31:58 -04:00
promote-demote.ss * Fixed calls to infer that didn't give must-vars argument 2008-06-20 14:48:47 -04:00
provide-handling.ss Implement dmap operations. 2008-06-12 17:10:31 -04:00
remove-intersect.ss Switch subtype to use infer.ss for unification. 2008-06-10 15:05:13 -04:00
rep-utils.ss Add new datastructures for dots work. 2008-06-09 17:07:41 -04:00
require-contract.ss Use contracts for def-binding. 2008-04-08 17:42:13 +00:00
resolve-type.ss Fix instantiate and abstract to handle bounds properly. 2008-06-10 11:29:56 -04:00
restrict.ss * Fixed calls to infer that didn't give must-vars argument 2008-06-20 14:48:47 -04:00
signatures.ss It lives! 2008-06-16 17:46:13 -04:00
subtype.ss Fix type of filter, and inference w/ effects. 2008-06-19 11:57:07 -04:00
syntax-traversal.ss Definition (but not use) of ... vars 2008-06-16 16:47:08 -04:00
tables.ss Fix mutated-vars for #%plain-lambda. 2008-04-10 23:20:17 +00:00
tc-app-unit.ss Actually, I want to be careful with this. 2008-07-12 22:20:10 -04:00
tc-dots-unit.ss Add an informative comment here. 2008-06-17 22:09:04 -04:00
tc-expr-unit.ss We have to be careful here -- for example, one of the test cases was failing 2008-07-12 22:11:23 -04:00
tc-if-unit.ss Move infer-ops to infer 2008-06-10 14:29:05 -04:00
tc-lambda-unit.ss handle nested polymorphic types in the expected type of a lambda 2008-07-07 15:36:33 -04:00
tc-let-unit.ss make-Values now checks its argument for having only 1 element 2008-07-07 14:58:22 -04:00
tc-structs.ss Fix handling of mutable structs (setters != getters) 2008-07-13 17:31:58 -04:00
tc-toplevel.ss Fix handling of mutable structs (setters != getters) 2008-07-13 17:31:58 -04:00
tc-utils.ss Just tried the following program: 2008-07-13 21:47:36 -04:00
type-alias-env.ss Improve the type of andmap. 2008-05-02 23:35:37 +00:00
type-annotation.ss Definition (but not use) of ... vars 2008-06-16 16:47:08 -04:00
type-comparison.ss Switch to #lang everywhere. 2008-03-20 13:31:18 +00:00
type-contract.ss Add new datastructures for dots work. 2008-06-09 17:07:41 -04:00
type-effect-convenience.ss Add require of scheme/promise for force. 2008-07-07 16:43:12 -04:00
type-effect-printer.ss Finally found a nasty bug involving variables not appearing in the hash table. 2008-07-07 19:21:42 -04:00
type-env.ss Checkpoint. 2008-06-17 18:10:17 -04:00
type-environments.ss Adding drest capability to lambda formal checking. 2008-06-18 17:21:53 -04:00
type-name-env.ss Checkpoint. 2008-06-17 18:10:17 -04:00
type-rep.ss I'm not sure if this is correct, but this handles the cases where we're 2008-07-12 22:30:00 -04:00
type-utils.ss make-Values now checks its argument for having only 1 element 2008-07-07 14:58:22 -04:00
typechecker.ss It lives! 2008-06-16 17:46:13 -04:00
union.ss Try harder to remove duplicates from unions. 2008-05-03 00:02:55 +00:00
unit-utils.ss comment out exampled 2008-04-28 21:21:29 +00:00
utils.ss Refactoring. 2008-07-01 16:44:49 -04:00