diff --git a/html-test/ref/LinearTypes.html b/html-test/ref/LinearTypes.html index 151ea84812..19a8a7e455 100644 --- a/html-test/ref/LinearTypes.html +++ b/html-test/ref/LinearTypes.html @@ -66,9 +66,9 @@ >poly :: forall a b (m :: a (m :: Multiplicity). a %m -> b) b. a %m -> bpoly :: forall a b (m :: a (m :: Multiplicity). a %m -> b ) b. a %m -> b #

b +poly :: forall a (m :: Multiplicity) b. a {\char '45}m -> b \end{tabular}] {\haddockbegindoc Does something polymorphic.\par}