Skip to content
Snippets Groups Projects
  • Manos Koukoutos's avatar
    40147b8f
    Rewrite all type bound functionality · 40147b8f
    Manos Koukoutos authored
    typeBound now is the base function for all other functions
    
    Reintroduce existing functionality as instances of it
    
    instantiateType now takes TypeParameters
    
    Move Same to GenExprOps
    
    Write a few more tests
    
    Fix typeCardinality
    40147b8f
    History
    Rewrite all type bound functionality
    Manos Koukoutos authored
    typeBound now is the base function for all other functions
    
    Reintroduce existing functionality as instances of it
    
    instantiateType now takes TypeParameters
    
    Move Same to GenExprOps
    
    Write a few more tests
    
    Fix typeCardinality