diff options
| author | hallgren <hallgren@chalmers.se> | 2012-10-18 20:01:22 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-10-18 20:01:22 +0000 |
| commit | 584b6ba86d15e7ff471f94d2d120375ba3604553 (patch) | |
| tree | 09fa0850d6637108e0ce370ee55006dddb309025 /src/compiler/GF | |
| parent | 9a022a141ebcd0228cbc75aaadf32e7d1b84f207 (diff) | |
Use NOINLINE for build info and darcs version info
... to avoid unnecessary recompilation of other modules.
Diffstat (limited to 'src/compiler/GF')
| -rw-r--r-- | src/compiler/GF/Compile/TypeCheck/TC.hs | 2 | ||||
| -rw-r--r-- | src/compiler/GF/Infra/BuildInfo.hs | 1 |
2 files changed, 2 insertions, 1 deletions
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 |