1. 22 Apr, 2019 1 commit
  2. 21 Apr, 2019 8 commits
  3. 20 Apr, 2019 10 commits
  4. 19 Apr, 2019 3 commits
    • Alec Theriault's avatar
      Add test case for #16384 · fdfd9731
      Alec Theriault authored
      Now that `TExp` accepts unlifted types, #16384 is fixed. Since the real
      issue there was GHC letting through an ill-kinded type which
      `-dcore-lint` rightly rejected, a reasonable regression test is that
      the program from #16384 can now be accepted without `-dcore-lint`
      complaining.
      fdfd9731
    • Alec Theriault's avatar
      TH: make `Lift` and `TExp` levity-polymorphic · 57cf1133
      Alec Theriault authored
      Besides the obvious benefits of being able to manipulate `TExp`'s of
      unboxed types, this also simplified `-XDeriveLift` all while making
      it more capable.
      
        * `ghc-prim` is explicitly depended upon by `template-haskell`
      
        * The following TH things are parametrized over `RuntimeRep`:
      
            - `TExp(..)`
            - `unTypeQ`
            - `unsafeTExpCoerce`
            - `Lift(..)`
      
        * The following instances have been added to `Lift`:
      
            - `Int#`, `Word#`, `Float#`, `Double#`, `Char#`, `Addr#`
            - unboxed tuples of lifted types up to arity 7
            - unboxed sums of lifted types up to arity 7
      
          Ideally we would have levity-polymorphic _instances_ of unboxed
          tuples and sums.
      
        * The code generated by `-XDeriveLift` uses expression quotes
          instead of generating large amounts of TH code and having
          special hard-coded cases for some unboxed types.
      57cf1133
    • Alp Mestanogullari's avatar
      Hadrian: fix the value we pass to the test driver for config.compiler_debugged · 5988f17a
      Alp Mestanogullari authored
      We used to pass YES/NO, while that particular field is set to True/False. This
      happens to fix an unexpected pass, T9208.
      5988f17a
  5. 18 Apr, 2019 4 commits
  6. 16 Apr, 2019 2 commits
    • Andrey Mokhov's avatar
      Hadrian: Generate GHC wrapper scripts · 894ec447
      Andrey Mokhov authored
      This is a temporary workaround for #16534. We generate wrapper scripts
      <build-root>/ghc-stage1 and <build-root>/ghc-stage2 that can be used to
      run Stage1 and Stage2 GHCs with the right arguments.
      
      See #16534.
      894ec447
    • Dmitry Dolgov's avatar
      Show dynamic object files (#16062) · 57eb5bc6
      Dmitry Dolgov authored
      Closes #16062. When -dynamic-too is specified, reflect that in the
      progress message, like:
      
      $ ghc Main.hs -dynamic-too
      [1 of 1] Compiling Lib              ( Main.hs, Main.o, Main.dyn_o )
      
      instead of:
      
      $ ghc Main.hs -dynamic-too
      [1 of 1] Compiling Lib              ( Main.hs, Main.o )
      57eb5bc6
  7. 15 Apr, 2019 7 commits
    • Gabor Greif's avatar
      asm-emit-time IND_STATIC elimination · be05bd81
      Gabor Greif authored
      When a new closure identifier is being established to a
      local or exported closure already emitted into the same
      module, refrain from adding an IND_STATIC closure, and
      instead emit an assembly-language alias.
      
      Inter-module IND_STATIC objects still remain, and need to be
      addressed by other measures.
      
      Binary-size savings on nofib are around 0.1%.
      be05bd81
    • Fraser Tweedale's avatar
      users-guide: document :set local-config · ed94d345
      Fraser Tweedale authored
      Document the ':set local-config' command and add a warning about
      sourcing untrusted local .ghci scripts.
      
      Related: #6017
      Related: #14250
      ed94d345
    • Fraser Tweedale's avatar
      GHCi: add 'local-config' setting · aa490b35
      Fraser Tweedale authored
      Add the ':set local-config { source | ignore }' setting to control
      whether .ghci file in current directory will be sourced or not.  The
      directive can be set in global config or $HOME/.ghci, which are
      processed before local .ghci files.
      
      The default is "source", preserving current behaviour.
      
      Related: ghc/ghc#6017
      Related: ghc/ghc#14250
      aa490b35
    • Fraser Tweedale's avatar
      users-guide: update startup script order · 5c06b60d
      Fraser Tweedale authored
      Update users guide to match the new startup script order.  Also
      clarify that -ignore-dot-ghci does not apply to scripts specified
      via the -ghci-script option.
      
      Part of: #14689
      5c06b60d
    • Fraser Tweedale's avatar
      GHCi: fix load order of .ghci files · 71cf94db
      Fraser Tweedale authored
      Directives in .ghci files in the current directory ("local .ghci")
      can be overridden by global files.  Change the order in which the
      configs are loaded: global and $HOME/.ghci first, then local.
      
      Also introduce a new field to GHCiState to control whether local
      .ghci gets sourced or ignored.  This commit does not add a way to
      set this value (a subsequent commit will add this), but the .ghci
      sourcing routine respects its value.
      
      Fixes: #14689
      Related: #6017
      Related: #14250
      71cf94db
    • Giles Anderson's avatar
    • Giles Anderson's avatar
      Document how -O3 is handled by GHC · b024e289
      Giles Anderson authored
          -O2 is the highest value of optimization.
          -O3 will be reverted to -O2.
      b024e289
  8. 14 Apr, 2019 5 commits