1. 14 Oct, 2020 1 commit
    • Ben Gamari's avatar
      gitlab-ci: Verify that Hadrian builds with Stack · 0fc1cb54
      Ben Gamari authored
      As noted in #18726, this regularly breaks. Let's test it.
      
      Note that we don't actually perform a build of GHC itself; we merely
      test that the Hadrian executable builds and works (by invoking `hadrian
      --version`).
      0fc1cb54
  2. 13 Oct, 2020 3 commits
    • Rinat Striungis's avatar
      Unification of Nat and Naturals · 8f4f5794
      Rinat Striungis authored
      This commit removes the separate kind 'Nat' and enables promotion
      of type 'Natural' for using as type literal.
      It partially solves #10776
      
      Now the following code will be successfully typechecked:
          data C = MkC Natural
          type CC = MkC 1
      
      Before this change we had to create the separate type for promotion
          data C = MkC Natural
          data CP = MkCP Nat
          type CC = MkCP 1
      
      But CP is uninhabited in terms.
      
      For backward compatibility type synonym `Nat` has been made:
          type Nat = Natural
      
      The user's documentation and tests have been updated.
      The haddock submodule also have been updated.
      8f4f5794
    • Sylvain Henry's avatar
      Parser: don't require the HomeUnitId · 0a5f2918
      Sylvain Henry authored
      The HomeUnitId is only used by the Cmm parser and this one has access to
      the DynFlags, so it can grab the UnitId of the HomeUnit from them.
      
      Bump haddock submodule
      0a5f2918
    • Wander Hillen's avatar
      Initial ShortText code and conversion of package db code · 7fdcce6d
      Wander Hillen authored
      Metric Decrease:
          Naperian
          T10421
          T10421a
          T10547
          T12150
          T12234
          T12425
          T13035
          T18140
          T18304
          T5837
          T6048
          T13253-spj
          T18282
          T18223
          T3064
          T9961
      Metric Increase
          T13701
      
      HFSKJH
      7fdcce6d
  3. 12 Oct, 2020 1 commit
  4. 11 Oct, 2020 2 commits
    • Danya Rogozin's avatar
      Fall back to types when looking up data constructors (#18740) · 990ea991
      Danya Rogozin authored
      Before this patch, referring to a data constructor in a term-level
      context led to a scoping error:
      
          ghci> id Int
          <interactive>:1:4: error: Data constructor not in scope: Int
      
      After this patch, the renamer falls back to the type namespace
      and successfully finds the Int. It is then rejected in the type
      checker with a more useful error message:
      
          <interactive>:1:4: error:
          • Illegal term-level use of the type constructor ‘Int’
              imported from ‘Prelude’ (and originally defined in ‘GHC.Types’)
          • In the first argument of ‘id’, namely ‘Int’
            In the expression: id Int
      
      We also do this for type variables.
      990ea991
    • Hécate Moonlight's avatar
      274e21f0
  5. 10 Oct, 2020 3 commits
  6. 09 Oct, 2020 25 commits
  7. 07 Oct, 2020 5 commits