search

bjornbm / dimensional-classic

Automatically exported from code.google.com/p/dimensional
BSD 3-Clause "New" or "Revised" License
3 stars 1 forks source link

Typechecker doesn't terminate for invalid 'NumType' division #14

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
sqrt $ (3 *~ meter) ^ pos3

Original issue reported on code.google.com by bjorn.bu...@gmail.com on 29 Mar 2007 at 9:27

GoogleCodeExporter commented 9 years ago 
A simpler example case would have been e.g. "pos4 / pos3".

In any case, problem was solved by re-arranging the constraints of the base 
'Div'
instance.

Original comment by bjorn.bu...@gmail.com on 14 Apr 2007 at 4:18