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'm thinking of something like:<br><br>main :: IO ()<br>main = do<br> a <- 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>