Bug with explicit forall in GADTs #335

New Issue

2021-01-12T11:11:27+01:00

noughtmare commented

2021-01-12 11:11:27 +01:00

(Migrated from github.com)

Input:

{-# LANGUAGE GADTs #-}
{-# LANGUAGE ExplicitForAll #-}

data Some where
  Some :: forall a. a -> Some

Output:

{-# LANGUAGE GADTs #-}
{-# LANGUAGE ExplicitForAll #-}

data Some where
  Some :: a a -> Some

Expected:

{-# LANGUAGE GADTs #-}
{-# LANGUAGE ExplicitForAll #-}

data Some where
  Some :: forall a . a -> Some

$ brittany --version
brittany version 0.13.0.0
Copyright (C) 2016-2019 Lennart Spitzner
Copyright (C) 2019 PRODA LTD
There is NO WARRANTY, to the extent permitted by law.

Input: ```Haskell {-# LANGUAGE GADTs #-} {-# LANGUAGE ExplicitForAll #-} data Some where Some :: forall a. a -> Some ``` Output: ```Haskell {-# LANGUAGE GADTs #-} {-# LANGUAGE ExplicitForAll #-} data Some where Some :: a a -> Some ``` Expected: ```Haskell {-# LANGUAGE GADTs #-} {-# LANGUAGE ExplicitForAll #-} data Some where Some :: forall a . a -> Some ``` ``` $ brittany --version brittany version 0.13.0.0 Copyright (C) 2016-2019 Lennart Spitzner Copyright (C) 2019 PRODA LTD There is NO WARRANTY, to the extent permitted by law. ```

tfausak commented

2021-01-12 14:11:04 +01:00

(Migrated from github.com)

I think this is the same as #242. Please re-open if that's not the case!

👍 1

Sign in to join this conversation.

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: hexagoxel/brittany#335