@@ -9,6 +9,8 @@
9{-# LANGUAGE ScopedTypeVariables #-}
9{-# LANGUAGE ScopedTypeVariables #-}
10{-# LANGUAGE TypeApplications #-}
10{-# LANGUAGE TypeApplications #-}
11{-# LANGUAGE TemplateHaskell #-}
11{-# LANGUAGE TemplateHaskell #-}
12+-- For the VL prism test
13+{-# OPTIONS_GHC -funfolding-use-threshold=70 #-}
13module Main where
15module Main where