Skip to content
Snippets Groups Projects
Select Git revision
2 results Searching

cortex-m-rtfm-klee

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    homunkulus authored
    [RFC] rename LateResourceValues to LateResources
    
    After writing `LateResourceValues` several times I now think it's too long to type. I'd like that
    struct to be renamed to `LateResources`. I don't think there would be a loss in readability with the
    rename because you can think of "late resources" as resources that "don't exist" until `init` ends
    instead of as resources that are not initialized after `init` ends -- the second meaning maps better
    to `LateResourceValues`.
    
    This would be a breaking-change but we are moving to v0.3.0 due to #50 in any case.
    
    cc jonas-schievink
    0a0e0e2b
    History
    Name Last commit Last update