src/Pure/Tools/ghc.ML
Wed, 31 Oct 2018 15:53:32 +0100 wenzelm clarified ML_Context.expression: it is a closed expression, not a let-declaration -- thus source positions are more accurate (amending d8849cfad60f, 162a4c2e97bc);
Tue, 30 Oct 2018 22:05:30 +0100 wenzelm added GHC.read_source: read Haskell source text with antiquotations;
Tue, 30 Oct 2018 19:18:01 +0100 wenzelm support for GHC: string literals;
less more (0) tip