this function takes a long time to check and creates a million type variables

[ooovi]

 typecheck_hs_from_string("function test()                   
                      function f(a)                  
                          function h(b)              
                              i(b) = 2*b + a         
                              i(b*5)                 
                          end                        
                          function g(h,a)            
                              x = h(a*7)             
                              y = h(a*7)             
                              x + y                  
                          end                        
                          a = g(h,a)                 
                          a = g(h,a)                 
                          function h(b::Integer)              
                              a*11                   
                          end                        
                          a = g(h,a)                 
                          a                          
                      end                            
                      f(13)                          
                   end"
       )

the result type is correct tho.