Commits

Anonymous committed f4e4760

Rename modules, too

  • Participants
  • Parent commits 7696679

Comments (0)

Files changed (2)

File type-stubs-empty.scm

-(module safe-types ())
+(module type-stubs ())

File type-stubs.scm

-(module safe-types
+(module type-stubs
 
 (: assume
    compiler-typecase