Hi Cafe,<br>can I ask the compiler to display the type of an inferred value during compile time?<br>It would be great if I can output a string during compilation with the type.<br>A little bit like running :type in GHCi, but without GHCi... Because running GHCi is sometime painful (I have to clean my code first).<br>
<br>I&#39;m thinking of something like:<br><br>main :: IO ()<br>main = do<br>   a &lt;- someCode<br>   displayTypeAtCompileTime a<br>   return ()<br><br>$ ghc -c test.hs<br>test.hs:4:3: your type is: Foo<br><br>Thanks,<br>
Corentin<br>