testsuite/tests/simplCore/should_compile/T23024.hs


1
2
3
4
5
6
7
8

{-# OPTIONS_GHC -fspecialize-aggressively -fexpose-all-unfoldings  #-}
{-# LANGUAGE RankNTypes #-}
module T23024 (testPolyn) where

import T23024a

testPolyn :: (forall r. Tensor r => r) -> Vector Double
testPolyn f = gradientFromDelta f