src/Pure/Tools/ghc.ML
Sun, 16 Dec 2018 13:24:24 +0100 wenzelm tuned comments;
Fri, 14 Dec 2018 11:43:48 +0100 wenzelm more ML antiquotations;
Fri, 14 Dec 2018 11:35:58 +0100 wenzelm proper platform path for Windows;
Mon, 10 Dec 2018 23:03:20 +0100 wenzelm more formal Haskell project setup, with dependencies on packages from "stackage";
Fri, 30 Nov 2018 23:43:10 +0100 wenzelm more general command 'generate_file' for registered file types, notably Haskell;
Sat, 10 Nov 2018 17:07:17 +0100 wenzelm more Haskell antiquotations;
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