From 584b6ba86d15e7ff471f94d2d120375ba3604553 Mon Sep 17 00:00:00 2001 From: hallgren Date: Thu, 18 Oct 2012 20:01:22 +0000 Subject: Use NOINLINE for build info and darcs version info ... to avoid unnecessary recompilation of other modules. --- src/compiler/GF/Compile/TypeCheck/TC.hs | 2 +- src/compiler/GF/Infra/BuildInfo.hs | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) (limited to 'src/compiler/GF') diff --git a/src/compiler/GF/Compile/TypeCheck/TC.hs b/src/compiler/GF/Compile/TypeCheck/TC.hs index 43e1a07e1..a56a8c832 100644 --- a/src/compiler/GF/Compile/TypeCheck/TC.hs +++ b/src/compiler/GF/Compile/TypeCheck/TC.hs @@ -41,7 +41,7 @@ data AExp = | AApp AExp AExp Val | AAbs Ident Val AExp | AProd Ident AExp AExp - | AEqs [([Exp],AExp)] --- not used +-- | AEqs [([Exp],AExp)] --- not used | ARecType [ALabelling] | AR [AAssign] | AP AExp Label Val diff --git a/src/compiler/GF/Infra/BuildInfo.hs b/src/compiler/GF/Infra/BuildInfo.hs index a9c974e74..8fdfe8779 100644 --- a/src/compiler/GF/Infra/BuildInfo.hs +++ b/src/compiler/GF/Infra/BuildInfo.hs @@ -4,6 +4,7 @@ import System.Info import Data.Version(showVersion) import DarcsVersion_gf +{-# NOINLINE buildInfo #-} buildInfo = details ++"\nBuilt on "++os++"/"++arch -- cgit v1.2.3