ats-pkg 3.2.5.16 → 3.2.5.17

raw patch · 2 files changed

+20/−20 lines, 2 files

Files

• ats-pkg.cabal +1/−1
• dhall/atspkg-prelude.dhall +19/−19

@@ -1,6 +1,6 @@ cabal-version: 2.0 name: ats-pkg-version: 3.2.5.16+version: 3.2.5.17 license: BSD3 license-file: LICENSE copyright: Copyright: (c) 2018-2019 Vanessa McHale

@@ -20,7 +20,7 @@ let TargetPair = { hs : Text, ats : Text, cpphs : Bool } in -let CCompiler = < CompCert : {} | Clang : {} | GCC : {} | ICC : {} | CC : {} >+let CCompiler = < CompCert | Clang | GCC | ICC | CC > in  let Bin =@@ -176,13 +176,13 @@   lib ⫽ { static = True } in -let Solver = < PatsSolve : {} | Z3 : {} | Ignore : {} >+let Solver = < PatsSolve | Z3 | Ignore > in -let solver = Solver.PatsSolve {=}+let solver = Solver.PatsSolve in -let ignore = Solver.Ignore {=}+let ignore = Solver.Ignore in  let default@@ -294,35 +294,35 @@ let atsProject = "target" in -let gcc = CCompiler.GCC {=}+let gcc = CCompiler.GCC in-let clang = CCompiler.Clang {=}+let clang = CCompiler.Clang in-let compCert = CCompiler.CompCert {=}+let compCert = CCompiler.CompCert in-let icc = CCompiler.ICC {=}+let icc = CCompiler.ICC in-let cc = CCompiler.CC {=}+let cc = CCompiler.CC in  let printCompiler =     λ(cc : CCompiler) →-        merge { CompCert = λ(_ : {}) → "ccomp"-              , Clang = λ(_ : {}) → "clang"-              , GCC = λ(_ : {}) → "gcc"-              , ICC = λ(_ : {}) → "icc"-              , CC = λ(_ : {}) → "cc"+        merge { CompCert = "ccomp"+              , Clang = "clang"+              , GCC = "gcc"+              , ICC = "icc"+              , CC = "cc"               }               cc in  let ccFlags =     λ(cc : CCompiler) →-        merge { CompCert = λ(_ : {}) → [ "-O2", "-fstruct-passing" ]-              , Clang = λ(_ : {}) → [ "-O2", "-mtune=native", "-flto" ]-              , GCC = λ(_ : {}) → [ "-O2", "-mtune=native", "-flto" ]-              , ICC = λ(_ : {}) → [ "-O2", "-mtune=native", "-flto", "-D__PURE_INTEL_C99_HEADERS__" ]-              , CC = λ(_ : {}) → [ "-O2" ]+        merge { CompCert = [ "-O2", "-fstruct-passing" ]+              , Clang = [ "-O2", "-mtune=native", "-flto" ]+              , GCC = [ "-O2", "-mtune=native", "-flto" ]+              , ICC = [ "-O2", "-mtune=native", "-flto", "-D__PURE_INTEL_C99_HEADERS__" ]+              , CC = [ "-O2" ]               }               cc in