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 | |
| parent | 9a022a141ebcd0228cbc75aaadf32e7d1b84f207 (diff) | |
Use NOINLINE for build info and darcs version info
... to avoid unnecessary recompilation of other modules.
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/GF/Compile/TypeCheck/TC.hs | 2 | ||||
| -rw-r--r-- | src/compiler/GF/Infra/BuildInfo.hs | 1 | ||||
| -rw-r--r-- | src/compiler/GFI.hs | 2 |
3 files changed, 3 insertions, 2 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 diff --git a/src/compiler/GFI.hs b/src/compiler/GFI.hs index 9c62d1fd0..634e52164 100644 --- a/src/compiler/GFI.hs +++ b/src/compiler/GFI.hs @@ -177,7 +177,7 @@ execute1 opts gfenv0 s0 = pOpts style q ("-qual" :ws) = pOpts style Qualified ws pOpts style q ws = (style,q,unwords ws) - (style,q,s) = pOpts TermPrintDefault Qualified (tail (words s0)) + (style,q,s) = pOpts TermPrintDefault Qualified ws case runP pExp (encodeUnicode utf8 s) of Left (_,msg) -> putStrLn msg |