Mentions légales du service

Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • 20220122
  • 20220109
  • 20220107
  • 20220101
  • 20200320
  • 20190827
7 results
Blame Permalink
  • Gabriel Scherer's avatar
    96035055
    convert StoreRef and StoreTransactionalRef to heterogeneous stores · 96035055
    Gabriel Scherer authored and POTTIER Francois's avatar POTTIER Francois committed 
    This exposes the full generality of their implementations.

Note: HStoreRef is the new heterogeneous implementation. We could
define StoreRef using the Store_of_HStore functor, but in our tests
this functor application is only inline properly by flambda-enabled
compilers. Instead we perform the redefinition of the homogeneous
store type by hand (which amounts to manually inlining the small
functor definition), which is simpler and un-breaks inlining with
non-flambda builds.
    96035055
    History
    convert StoreRef and StoreTransactionalRef to heterogeneous stores
    Gabriel Scherer authored and POTTIER Francois's avatar POTTIER Francois committed 
    This exposes the full generality of their implementations.

Note: HStoreRef is the new heterogeneous implementation. We could
define StoreRef using the Store_of_HStore functor, but in our tests
this functor application is only inline properly by flambda-enabled
compilers. Instead we perform the redefinition of the homogeneous
store type by hand (which amounts to manually inlining the small
functor definition), which is simpler and un-breaks inlining with
non-flambda builds.