From ndospark320 at gmail.com  Wed Jan  2 08:38:40 2019
From: ndospark320 at gmail.com (Dannyu NDos)
Date: Wed, 2 Jan 2019 17:38:40 +0900
Subject: [Haskell-beginners] Overlapping instances via Nat-kind
Message-ID: <CAKM3oZVJbLoc=_00xOK_zQKVuDCFo3Pqf1j0i=9+PwmOd_=dNw@mail.gmail.com>

Hi everyone. I'm not so skillful with GADTs and DataKinds, so I assume this
mailing list is appropriate to post on.

Basically, I wanted to do GADT like this (involving GHC.TypeNats):

data Symmetric (n :: Nat) where
    S1 :: Symmetric 1
    (:.) :: (KnownNat n, 2 <= n) => Cyclic n -> Symmetric (n-1) -> Symmetric n

But I had some issues with this. The full question is here (on Stack
Overflow):

https://stackoverflow.com/q/54000646/4540658

Sincerely,
Dannyu NDos
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20190102/4a7c1e03/attachment.html>

From ndospark320 at gmail.com  Wed Jan  2 09:32:01 2019
From: ndospark320 at gmail.com (Dannyu NDos)
Date: Wed, 2 Jan 2019 18:32:01 +0900
Subject: [Haskell-beginners] Overlapping instances via Nat-kind
In-Reply-To: <CAKM3oZWgbE5uUY6CzeC0jdSLFTDaCijm_9YwTnF+EhAiO8b5fw@mail.gmail.com>
References: <CAKM3oZVJbLoc=_00xOK_zQKVuDCFo3Pqf1j0i=9+PwmOd_=dNw@mail.gmail.com>
 <CAKM3oZWgbE5uUY6CzeC0jdSLFTDaCijm_9YwTnF+EhAiO8b5fw@mail.gmail.com>
Message-ID: <CAKM3oZWFGOqEbCEy9jx9oDPuDpSMJYGyYrpLqPbPMQOPc-pUzg@mail.gmail.com>

This question has been answered on Stack Overflow.

2019년 1월 2일 (수) 오후 5:48, Dannyu NDos <ndospark320 at gmail.com>님이 작성:

> (Message re-sent)
> Hi everyone. I'm not so skillful with GADTs and DataKinds, so I assume
> this mailing list is appropriate to post on.
>
> Basically, I wanted to do GADT like this (involving GHC.TypeNats):
>
> data Symmetric (n :: Nat) where
>     S1 :: Symmetric 1
>     (:.) :: (KnownNat n, 2 <= n) => Cyclic n -> Symmetric (n-1) -> Symmetric n
>
> But I had some issues with this. The full question is here (on Stack
> Overflow):
>
> https://stackoverflow.com/q/54000646/4540658
>
> Sincerely,
> Dannyu NDos
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20190102/36a63e17/attachment.html>

From ndospark320 at gmail.com  Wed Jan  2 08:48:21 2019
From: ndospark320 at gmail.com (Dannyu NDos)
Date: Wed, 2 Jan 2019 17:48:21 +0900
Subject: [Haskell-beginners] Fwd: Overlapping instances via Nat-kind
In-Reply-To: <CAKM3oZVJbLoc=_00xOK_zQKVuDCFo3Pqf1j0i=9+PwmOd_=dNw@mail.gmail.com>
References: <CAKM3oZVJbLoc=_00xOK_zQKVuDCFo3Pqf1j0i=9+PwmOd_=dNw@mail.gmail.com>
Message-ID: <CAKM3oZWgbE5uUY6CzeC0jdSLFTDaCijm_9YwTnF+EhAiO8b5fw@mail.gmail.com>

(Message re-sent)
Hi everyone. I'm not so skillful with GADTs and DataKinds, so I assume this
mailing list is appropriate to post on.

Basically, I wanted to do GADT like this (involving GHC.TypeNats):

data Symmetric (n :: Nat) where
    S1 :: Symmetric 1
    (:.) :: (KnownNat n, 2 <= n) => Cyclic n -> Symmetric (n-1) -> Symmetric n

But I had some issues with this. The full question is here (on Stack
Overflow):

https://stackoverflow.com/q/54000646/4540658

Sincerely,
Dannyu NDos
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20190102/56a8403a/attachment.html>

From dennis.raddle at gmail.com  Sun Jan 13 16:39:42 2019
From: dennis.raddle at gmail.com (Dennis Raddle)
Date: Sun, 13 Jan 2019 08:39:42 -0800
Subject: [Haskell-beginners] -no-pie
Message-ID: <CAKxLvooVcHrQ1h_L5a0z_wLJNpM_g9R8D55oExyb=wAQ6J86vA@mail.gmail.com>

I'm on MacOS Sierra. I'm using stack, but I also sometimes use the system
GHC for situations where stack is problematic (one of my applications
spawns GHC as part of a work-loop cycle and it's faster to run the system
GHC).

My system GHC is 8.4.2.

I just started getting an error on compilation with the system GC:
clang: error unknown argument: -no-pie

Does I just need to update the system GHC or is this a symptom of something
deeper?

D
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20190113/ba805ec6/attachment.html>

From sumitraja at gmail.com  Mon Jan 14 22:25:25 2019
From: sumitraja at gmail.com (Sumit Raja)
Date: Tue, 15 Jan 2019 09:25:25 +1100
Subject: [Haskell-beginners] -no-pie
In-Reply-To: <mailman.5.1547467202.20485.beginners@haskell.org>
References: <mailman.5.1547467202.20485.beginners@haskell.org>
Message-ID: <CAD4nrSe5EptzHsdqSESn8uTasaeJur6wCOhKdViC1+eYpQfQ5Q@mail.gmail.com>

Hi Dennis,

Seems like the GHC settings file is incorrect. There is an SO answer
that explains how to change this on OSX:
https://stackoverflow.com/questions/50386787/cabal-install-gcc-failed-in-phase-c-compiler/50419101#50419101
and a defect (https://github.com/haskell/haskell-platform/issues/304)

This may not be your exact situation but you can adjust settings
accordingly based on the path provided
(/Library/Frameworks/GHC.framework/Versions/8.4.2-x86_64/usr/lib/ghc-8.4.2/settings).

Regards
Sumit

On Mon, 14 Jan 2019 at 23:47, <beginners-request at haskell.org> wrote:
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Sun, 13 Jan 2019 08:39:42 -0800
> From: Dennis Raddle <dennis.raddle at gmail.com>
> To: Haskell Beginners <beginners at haskell.org>
> Subject: [Haskell-beginners] -no-pie
> Message-ID:
>         <CAKxLvooVcHrQ1h_L5a0z_wLJNpM_g9R8D55oExyb=wAQ6J86vA at mail.gmail.com>
> Content-Type: text/plain; charset="utf-8"
>
> I'm on MacOS Sierra. I'm using stack, but I also sometimes use the system
> GHC for situations where stack is problematic (one of my applications
> spawns GHC as part of a work-loop cycle and it's faster to run the system
> GHC).
>
> My system GHC is 8.4.2.
>
> I just started getting an error on compilation with the system GC:
> clang: error unknown argument: -no-pie
>
> Does I just need to update the system GHC or is this a symptom of something
> deeper?
>

From defigueiredo at ucdavis.edu  Wed Jan 16 14:52:47 2019
From: defigueiredo at ucdavis.edu (Dimitri DeFigueiredo)
Date: Wed, 16 Jan 2019 12:52:47 -0200
Subject: [Haskell-beginners] weird constraint
Message-ID: <190847a3-3cd6-8f19-38c7-adfaf13b7927@ucdavis.edu>

Could someone help me make sense of this Num constraint given by GHCi?
I was expecting to get:

inc . const :: Num a => a -> b -> a

rather than:

inc . const :: Num (b -> a) => a -> b -> a

Here's the transcript:


GHCi, version 8.6.3: http://www.haskell.org/ghc/  :? for help
Prelude> inc x = x + 1
Prelude> :t inc
inc :: Num a => a -> a
Prelude> :t const
const :: a -> b -> a
Prelude> :t inc . const
inc . const :: Num (b -> a) => a -> b -> a
Prelude>


Thanks,

Dimitri

-- 
2E45 D376 A744 C671 5100 A261 210B 8461 0FB0 CA1F



From sylvain at haskus.fr  Wed Jan 16 15:05:47 2019
From: sylvain at haskus.fr (Sylvain Henry)
Date: Wed, 16 Jan 2019 16:05:47 +0100
Subject: [Haskell-beginners] weird constraint
In-Reply-To: <190847a3-3cd6-8f19-38c7-adfaf13b7927@ucdavis.edu>
References: <190847a3-3cd6-8f19-38c7-adfaf13b7927@ucdavis.edu>
Message-ID: <647c6873-771c-4ef6-d6e8-28e11102dd5c@haskus.fr>

Remember that a -> b -> a is equivalent to a -> (b -> a)

So: (forall a. Num a => a -> a) . (a -> (b -> a))
Becomes: (Num (b -> a). (b -> a) -> (b -> a)) . (a -> (b -> a))
Then: Num (b -> a). a -> (b -> a)
Finally: Num (b -> a). a -> b -> a


On 16/01/2019 15:52, Dimitri DeFigueiredo wrote:
> Could someone help me make sense of this Num constraint given by GHCi?
> I was expecting to get:
>
> inc . const :: Num a => a -> b -> a
>
> rather than:
>
> inc . const :: Num (b -> a) => a -> b -> a
>
> Here's the transcript:
>
>
> GHCi, version 8.6.3: http://www.haskell.org/ghc/  :? for help
> Prelude> inc x = x + 1
> Prelude> :t inc
> inc :: Num a => a -> a
> Prelude> :t const
> const :: a -> b -> a
> Prelude> :t inc . const
> inc . const :: Num (b -> a) => a -> b -> a
> Prelude>
>
>
> Thanks,
>
> Dimitri
>

From sumitraja at gmail.com  Thu Jan 17 09:45:01 2019
From: sumitraja at gmail.com (Sumit Raja)
Date: Thu, 17 Jan 2019 20:45:01 +1100
Subject: [Haskell-beginners] FFI for PBC - Windows and Nixes
Message-ID: <CAD4nrSdTKs1gTjH5Ro+oVLP=7FPggAyTEw2=xTgdhjWV94yY8g@mail.gmail.com>

Hi,

I am stuck with an odd problem that I don't know how to begin to
resolve. I have developed an FFI wrapper around the PBC library. I
have a number of tests thatcheck simple operations and some of the
more simple examples from the PBC C examples.

On FreeBSD and Linux (Mint) all tests pass successfully but on Windows
(mingw64) many fail with what look like data corruption errors. I
suspect it is something to do with alignment or size calculations but
I have no idea how to proceed.

The hsc file is fairly standard:

data PBCPairing = PBCPairing
data PBCElement = PBCElement
data PBCField = PBCField
data PBCPreProcElement = PBCPreProcElement

instance Storable PBCPairing where
  sizeOf _ = #{size struct pairing_s}
  alignment _ = #{alignment struct pairing_s}
  peek = notImplemented
  poke = notImplemented

instance Storable PBCElement where
  sizeOf _ = #{size struct element_s}
  alignment _ = #{alignment struct element_s}
  peek = notImplemented
  poke = notImplemented

instance Storable PBCPreProcElement where
  sizeOf _ = #{size struct element_pp_s}
  alignment _ = #{alignment struct element_pp_s}
  peek = notImplemented
  poke = notImplemented

instance Storable PBCField where
  sizeOf _ = #{size struct field_s}
  alignment _ = #{alignment struct field_s}
  peek = notImplemented
  poke = notImplemented

Generated sizeOf is the same and alignment is 8 across all OSes. I am
using inline-c for the FFI. PBC was built using msys2's version of
mingw64. All the C examples work correctly in the msys2 shell.

Does any one have any ideas on how best to approach this issue?

Thanks

Sumit

From gale at sefer.org  Sun Jan 20 00:09:15 2019
From: gale at sefer.org (Yitzchak Gale)
Date: Sun, 20 Jan 2019 02:09:15 +0200
Subject: [Haskell-beginners] weird constraint
In-Reply-To: <647c6873-771c-4ef6-d6e8-28e11102dd5c@haskus.fr>
References: <190847a3-3cd6-8f19-38c7-adfaf13b7927@ucdavis.edu>
 <647c6873-771c-4ef6-d6e8-28e11102dd5c@haskus.fr>
Message-ID: <CAOrUaLbUq-pf2OzOXHna4NWcbLU0uw9w2riN_Odfyd4-kdFiFw@mail.gmail.com>

On 16/01/2019 15:52, Dimitri DeFigueiredo wrote:
>> ...I was expecting to get:
>> inc . const :: Num a => a -> b -> a
>>
>> Prelude> inc x = x + 1

On Wed, Jan 16, 2019 at 5:06 PM Sylvain Henry <sylvain at haskus.fr> wrote:
> Remember that a -> b -> a is equivalent to a -> (b -> a)...

To augment Sylvain's explanation: The upshot of this unexpected type -
which would almost certainly lead to a type error in any real program -
is that you probably want
const . inc
rather than
inc . const

-Yitz

From borgauf at gmail.com  Mon Jan 28 04:12:00 2019
From: borgauf at gmail.com (Lawrence Bottorff)
Date: Sun, 27 Jan 2019 22:12:00 -0600
Subject: [Haskell-beginners] Install mess
Message-ID: <CAFAhFSUV-vXAJOn+rsGvhRd8qGwcXpm0JJuiJsX0v6azUnG-iA@mail.gmail.com>

I'm on Ubuntu 18.10 and I've made a real mess of my Haskell install. In the
past I believe I installed from source. Then I must have tried to install
through Ubuntu's repo, then I installed through the Haskell tool stack
(curl -sSL https://get.haskellstack.org/ | sh). Now I can type ghci at the
command line and I get 8.4.2, through stack ghci I get version 8.0.1, while
starting a ghci REPL in Emacs goes with the 8.4.2. The Ubuntu repo version
seems to be 8.2.2, BTW. What can I do/what should I do to straighten this
out? What is the definitive install of Haskell, stack or Haskell platform,
and what role should cabal play?

LB
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20190127/58ac2740/attachment.html>

From math.simplex at gmail.com  Mon Jan 28 05:38:58 2019
From: math.simplex at gmail.com (Graham Gill)
Date: Mon, 28 Jan 2019 12:38:58 +0700
Subject: [Haskell-beginners] Install mess
In-Reply-To: <CAFAhFSUV-vXAJOn+rsGvhRd8qGwcXpm0JJuiJsX0v6azUnG-iA@mail.gmail.com>
References: <CAFAhFSUV-vXAJOn+rsGvhRd8qGwcXpm0JJuiJsX0v6azUnG-iA@mail.gmail.com>
Message-ID: <CAEQrVeQJw4oqk=3O0OGrObBJyZWENWdVfZC0d-hMH+8r=CZ_og@mail.gmail.com>

I faced a similar problem recently and wasn't able to finish building
Liquid Haskell and HIE until I started afresh. I wiped/uninstalled old
Haskell platforms, stack and cabal. Then for a system GHC and cabal I used
the HVR ppa. You could also use ghcup. See the ghcup page on github which
links to the HVR ppa also.  See the downloads page at haskell.org, under
Linux generic installer, which currently recommends using ghcup. (I liked
the flavour of the HVR ppa more so went with that. )

For anything else I'm using the latest stack.

I think my setup is much cleaner as a result, and tools better organised.

Regards,
Graham



On Mon, Jan 28, 2019, 11:12 Lawrence Bottorff <borgauf at gmail.com wrote:

> I'm on Ubuntu 18.10 and I've made a real mess of my Haskell install. In
> the past I believe I installed from source. Then I must have tried to
> install through Ubuntu's repo, then I installed through the Haskell tool
> stack (curl -sSL https://get.haskellstack.org/ | sh). Now I can type ghci
> at the command line and I get 8.4.2, through stack ghci I get version
> 8.0.1, while starting a ghci REPL in Emacs goes with the 8.4.2. The Ubuntu
> repo version seems to be 8.2.2, BTW. What can I do/what should I do to
> straighten this out? What is the definitive install of Haskell, stack or
> Haskell platform, and what role should cabal play?
>
> LB
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20190128/9c4ef522/attachment.html>

From borgauf at gmail.com  Mon Jan 28 16:29:20 2019
From: borgauf at gmail.com (Lawrence Bottorff)
Date: Mon, 28 Jan 2019 10:29:20 -0600
Subject: [Haskell-beginners] Install mess
In-Reply-To: <CAEQrVeQJw4oqk=3O0OGrObBJyZWENWdVfZC0d-hMH+8r=CZ_og@mail.gmail.com>
References: <CAFAhFSUV-vXAJOn+rsGvhRd8qGwcXpm0JJuiJsX0v6azUnG-iA@mail.gmail.com>
 <CAEQrVeQJw4oqk=3O0OGrObBJyZWENWdVfZC0d-hMH+8r=CZ_og@mail.gmail.com>
Message-ID: <CAFAhFSXv=SJRJRM8Qj1SFd0QvwWzBdQ+sNrv8ZPNW+6v+WD4-g@mail.gmail.com>

So I've got the HVR ppa going, now, what specifically do I want to install,
type on the command? I guess I'm hearing stack?

On Sun, Jan 27, 2019 at 11:39 PM Graham Gill <math.simplex at gmail.com> wrote:

> I faced a similar problem recently and wasn't able to finish building
> Liquid Haskell and HIE until I started afresh. I wiped/uninstalled old
> Haskell platforms, stack and cabal. Then for a system GHC and cabal I used
> the HVR ppa. You could also use ghcup. See the ghcup page on github which
> links to the HVR ppa also.  See the downloads page at haskell.org, under
> Linux generic installer, which currently recommends using ghcup. (I liked
> the flavour of the HVR ppa more so went with that. )
>
> For anything else I'm using the latest stack.
>
> I think my setup is much cleaner as a result, and tools better organised.
>
> Regards,
> Graham
>
>
>
> On Mon, Jan 28, 2019, 11:12 Lawrence Bottorff <borgauf at gmail.com wrote:
>
>> I'm on Ubuntu 18.10 and I've made a real mess of my Haskell install. In
>> the past I believe I installed from source. Then I must have tried to
>> install through Ubuntu's repo, then I installed through the Haskell tool
>> stack (curl -sSL https://get.haskellstack.org/ | sh). Now I can type
>> ghci at the command line and I get 8.4.2, through stack ghci I get version
>> 8.0.1, while starting a ghci REPL in Emacs goes with the 8.4.2. The Ubuntu
>> repo version seems to be 8.2.2, BTW. What can I do/what should I do to
>> straighten this out? What is the definitive install of Haskell, stack or
>> Haskell platform, and what role should cabal play?
>>
>> LB
>> _______________________________________________
>> Beginners mailing list
>> Beginners at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20190128/3c4c6447/attachment.html>

From wangbj at gmail.com  Mon Jan 28 17:38:45 2019
From: wangbj at gmail.com (Baojun Wang)
Date: Mon, 28 Jan 2019 12:38:45 -0500
Subject: [Haskell-beginners] Install mess
In-Reply-To: <CAFAhFSXv=SJRJRM8Qj1SFd0QvwWzBdQ+sNrv8ZPNW+6v+WD4-g@mail.gmail.com>
References: <CAFAhFSUV-vXAJOn+rsGvhRd8qGwcXpm0JJuiJsX0v6azUnG-iA@mail.gmail.com>
 <CAEQrVeQJw4oqk=3O0OGrObBJyZWENWdVfZC0d-hMH+8r=CZ_og@mail.gmail.com>
 <CAFAhFSXv=SJRJRM8Qj1SFd0QvwWzBdQ+sNrv8ZPNW+6v+WD4-g@mail.gmail.com>
Message-ID: <CAC+a-TaJnqomOyKyTm-3LiuHfB=SUDceaXOw=YLcKi_8h-vcWA@mail.gmail.com>

You can install `ghc` and `cabal-install` (provide the `cabal` command line
application) using hvr ppa, if you have a project created by `cabal` or
`stack`, then that's pretty much all you need (ghc+cabal-install), you can
run

cabal new-update # update the local package package indexes
cabal new-build # to build the package

  or use

cabal init # to create a project

There're other commands such as `cabal new-install, cabal new-test, cabal
new-run` could be quite useful, the official document can be found at:
https://cabal.readthedocs.io/en/latest/nix-local-build-overview.html

 If you choose `stack` then stack can manage ghc installation by itself,
the stack website should have enough information to get started:
https://docs.haskellstack.org/en/stable/README/

Personally I would prefer hvr ghc/cabal-install, or stack, instead of
ghc/cabal provided by the system, as they don't usually seems to
up-to-date, and cabal-install manages packages dependencies a lot better
with the new command line interfaces (cabal new-*).



On Mon, Jan 28, 2019 at 11:29 AM Lawrence Bottorff <borgauf at gmail.com>
wrote:

> So I've got the HVR ppa going, now, what specifically do I want to
> install, type on the command? I guess I'm hearing stack?
>
> On Sun, Jan 27, 2019 at 11:39 PM Graham Gill <math.simplex at gmail.com>
> wrote:
>
>> I faced a similar problem recently and wasn't able to finish building
>> Liquid Haskell and HIE until I started afresh. I wiped/uninstalled old
>> Haskell platforms, stack and cabal. Then for a system GHC and cabal I used
>> the HVR ppa. You could also use ghcup. See the ghcup page on github which
>> links to the HVR ppa also.  See the downloads page at haskell.org, under
>> Linux generic installer, which currently recommends using ghcup. (I liked
>> the flavour of the HVR ppa more so went with that. )
>>
>> For anything else I'm using the latest stack.
>>
>> I think my setup is much cleaner as a result, and tools better organised.
>>
>> Regards,
>> Graham
>>
>>
>>
>> On Mon, Jan 28, 2019, 11:12 Lawrence Bottorff <borgauf at gmail.com wrote:
>>
>>> I'm on Ubuntu 18.10 and I've made a real mess of my Haskell install. In
>>> the past I believe I installed from source. Then I must have tried to
>>> install through Ubuntu's repo, then I installed through the Haskell tool
>>> stack (curl -sSL https://get.haskellstack.org/ | sh). Now I can type
>>> ghci at the command line and I get 8.4.2, through stack ghci I get version
>>> 8.0.1, while starting a ghci REPL in Emacs goes with the 8.4.2. The Ubuntu
>>> repo version seems to be 8.2.2, BTW. What can I do/what should I do to
>>> straighten this out? What is the definitive install of Haskell, stack or
>>> Haskell platform, and what role should cabal play?
>>>
>>> LB
>>> _______________________________________________
>>> Beginners mailing list
>>> Beginners at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>>
>> _______________________________________________
>> Beginners mailing list
>> Beginners at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20190128/97871421/attachment.html>

From borgauf at gmail.com  Tue Jan 29 03:37:23 2019
From: borgauf at gmail.com (Lawrence Bottorff)
Date: Mon, 28 Jan 2019 21:37:23 -0600
Subject: [Haskell-beginners] Install mess
In-Reply-To: <CAC+a-TaJnqomOyKyTm-3LiuHfB=SUDceaXOw=YLcKi_8h-vcWA@mail.gmail.com>
References: <CAFAhFSUV-vXAJOn+rsGvhRd8qGwcXpm0JJuiJsX0v6azUnG-iA@mail.gmail.com>
 <CAEQrVeQJw4oqk=3O0OGrObBJyZWENWdVfZC0d-hMH+8r=CZ_og@mail.gmail.com>
 <CAFAhFSXv=SJRJRM8Qj1SFd0QvwWzBdQ+sNrv8ZPNW+6v+WD4-g@mail.gmail.com>
 <CAC+a-TaJnqomOyKyTm-3LiuHfB=SUDceaXOw=YLcKi_8h-vcWA@mail.gmail.com>
Message-ID: <CAFAhFSVjSdxx-TSMah65marO3qTbi+4cp3yypPe0a_c+o_kJTQ@mail.gmail.com>

So I've set up the Herbert V. Riedel PPA

sudo add-apt-repository ppa:hvr/ghc
sudo apt-get update

then I installed ghc-8.6.3 and cabal-install-2.4

sudo apt-get install ghc-8.6.3
sudo apt-get install cabal-install-2.4

. . . and stuff seems to be installing. However a check finds no cabal and
ghc version 8.2.2

What am I missing?

LB





On Mon, Jan 28, 2019 at 11:39 AM Baojun Wang <wangbj at gmail.com> wrote:

> You can install `ghc` and `cabal-install` (provide the `cabal` command
> line application) using hvr ppa, if you have a project created by `cabal`
> or `stack`, then that's pretty much all you need (ghc+cabal-install), you
> can run
>
> cabal new-update # update the local package package indexes
> cabal new-build # to build the package
>
>   or use
>
> cabal init # to create a project
>
> There're other commands such as `cabal new-install, cabal new-test, cabal
> new-run` could be quite useful, the official document can be found at:
> https://cabal.readthedocs.io/en/latest/nix-local-build-overview.html
>
>  If you choose `stack` then stack can manage ghc installation by itself,
> the stack website should have enough information to get started:
> https://docs.haskellstack.org/en/stable/README/
>
> Personally I would prefer hvr ghc/cabal-install, or stack, instead of
> ghc/cabal provided by the system, as they don't usually seems to
> up-to-date, and cabal-install manages packages dependencies a lot better
> with the new command line interfaces (cabal new-*).
>
>
>
> On Mon, Jan 28, 2019 at 11:29 AM Lawrence Bottorff <borgauf at gmail.com>
> wrote:
>
>> So I've got the HVR ppa going, now, what specifically do I want to
>> install, type on the command? I guess I'm hearing stack?
>>
>> On Sun, Jan 27, 2019 at 11:39 PM Graham Gill <math.simplex at gmail.com>
>> wrote:
>>
>>> I faced a similar problem recently and wasn't able to finish building
>>> Liquid Haskell and HIE until I started afresh. I wiped/uninstalled old
>>> Haskell platforms, stack and cabal. Then for a system GHC and cabal I used
>>> the HVR ppa. You could also use ghcup. See the ghcup page on github which
>>> links to the HVR ppa also.  See the downloads page at haskell.org,
>>> under Linux generic installer, which currently recommends using ghcup. (I
>>> liked the flavour of the HVR ppa more so went with that. )
>>>
>>> For anything else I'm using the latest stack.
>>>
>>> I think my setup is much cleaner as a result, and tools better
>>> organised.
>>>
>>> Regards,
>>> Graham
>>>
>>>
>>>
>>> On Mon, Jan 28, 2019, 11:12 Lawrence Bottorff <borgauf at gmail.com wrote:
>>>
>>>> I'm on Ubuntu 18.10 and I've made a real mess of my Haskell install. In
>>>> the past I believe I installed from source. Then I must have tried to
>>>> install through Ubuntu's repo, then I installed through the Haskell tool
>>>> stack (curl -sSL https://get.haskellstack.org/ | sh). Now I can type
>>>> ghci at the command line and I get 8.4.2, through stack ghci I get version
>>>> 8.0.1, while starting a ghci REPL in Emacs goes with the 8.4.2. The Ubuntu
>>>> repo version seems to be 8.2.2, BTW. What can I do/what should I do to
>>>> straighten this out? What is the definitive install of Haskell, stack or
>>>> Haskell platform, and what role should cabal play?
>>>>
>>>> LB
>>>> _______________________________________________
>>>> Beginners mailing list
>>>> Beginners at haskell.org
>>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>>>
>>> _______________________________________________
>>> Beginners mailing list
>>> Beginners at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>>
>> _______________________________________________
>> Beginners mailing list
>> Beginners at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20190128/45db2120/attachment-0001.html>

From michelhaber1994 at gmail.com  Tue Jan 29 09:02:02 2019
From: michelhaber1994 at gmail.com (Michel Haber)
Date: Tue, 29 Jan 2019 10:02:02 +0100
Subject: [Haskell-beginners] Install mess
In-Reply-To: <CAFAhFSVjSdxx-TSMah65marO3qTbi+4cp3yypPe0a_c+o_kJTQ@mail.gmail.com>
References: <CAFAhFSUV-vXAJOn+rsGvhRd8qGwcXpm0JJuiJsX0v6azUnG-iA@mail.gmail.com>
 <CAEQrVeQJw4oqk=3O0OGrObBJyZWENWdVfZC0d-hMH+8r=CZ_og@mail.gmail.com>
 <CAFAhFSXv=SJRJRM8Qj1SFd0QvwWzBdQ+sNrv8ZPNW+6v+WD4-g@mail.gmail.com>
 <CAC+a-TaJnqomOyKyTm-3LiuHfB=SUDceaXOw=YLcKi_8h-vcWA@mail.gmail.com>
 <CAFAhFSVjSdxx-TSMah65marO3qTbi+4cp3yypPe0a_c+o_kJTQ@mail.gmail.com>
Message-ID: <CAEYibMcd8S1mXTiS7KGz3jUAdXzcrpWCNPZua50x-tFP_gAY-Q@mail.gmail.com>

Hello,
perhaps check the install repository. I had the same problem:
With an old version of ghc and cabal installed, the symlink isn't changed
to point towards the new one.
You can do so manually:
- get the dir of your ghc: $ which ghc
- the directory ends with /bin/
- in fact this would be a symlink towards a version of ghc (not the version
you want)
- simply change the symbolic link (usually the actual ghc dir is right next
to the bin symlink)

On Tue, Jan 29, 2019 at 4:37 AM Lawrence Bottorff <borgauf at gmail.com> wrote:

> So I've set up the Herbert V. Riedel PPA
>
> sudo add-apt-repository ppa:hvr/ghc
> sudo apt-get update
>
> then I installed ghc-8.6.3 and cabal-install-2.4
>
> sudo apt-get install ghc-8.6.3
> sudo apt-get install cabal-install-2.4
>
> . . . and stuff seems to be installing. However a check finds no cabal and
> ghc version 8.2.2
>
> What am I missing?
>
> LB
>
>
>
>
>
> On Mon, Jan 28, 2019 at 11:39 AM Baojun Wang <wangbj at gmail.com> wrote:
>
>> You can install `ghc` and `cabal-install` (provide the `cabal` command
>> line application) using hvr ppa, if you have a project created by `cabal`
>> or `stack`, then that's pretty much all you need (ghc+cabal-install), you
>> can run
>>
>> cabal new-update # update the local package package indexes
>> cabal new-build # to build the package
>>
>>   or use
>>
>> cabal init # to create a project
>>
>> There're other commands such as `cabal new-install, cabal new-test, cabal
>> new-run` could be quite useful, the official document can be found at:
>> https://cabal.readthedocs.io/en/latest/nix-local-build-overview.html
>>
>>  If you choose `stack` then stack can manage ghc installation by itself,
>> the stack website should have enough information to get started:
>> https://docs.haskellstack.org/en/stable/README/
>>
>> Personally I would prefer hvr ghc/cabal-install, or stack, instead of
>> ghc/cabal provided by the system, as they don't usually seems to
>> up-to-date, and cabal-install manages packages dependencies a lot better
>> with the new command line interfaces (cabal new-*).
>>
>>
>>
>> On Mon, Jan 28, 2019 at 11:29 AM Lawrence Bottorff <borgauf at gmail.com>
>> wrote:
>>
>>> So I've got the HVR ppa going, now, what specifically do I want to
>>> install, type on the command? I guess I'm hearing stack?
>>>
>>> On Sun, Jan 27, 2019 at 11:39 PM Graham Gill <math.simplex at gmail.com>
>>> wrote:
>>>
>>>> I faced a similar problem recently and wasn't able to finish building
>>>> Liquid Haskell and HIE until I started afresh. I wiped/uninstalled old
>>>> Haskell platforms, stack and cabal. Then for a system GHC and cabal I used
>>>> the HVR ppa. You could also use ghcup. See the ghcup page on github which
>>>> links to the HVR ppa also.  See the downloads page at haskell.org,
>>>> under Linux generic installer, which currently recommends using ghcup. (I
>>>> liked the flavour of the HVR ppa more so went with that. )
>>>>
>>>> For anything else I'm using the latest stack.
>>>>
>>>> I think my setup is much cleaner as a result, and tools better
>>>> organised.
>>>>
>>>> Regards,
>>>> Graham
>>>>
>>>>
>>>>
>>>> On Mon, Jan 28, 2019, 11:12 Lawrence Bottorff <borgauf at gmail.com wrote:
>>>>
>>>>> I'm on Ubuntu 18.10 and I've made a real mess of my Haskell install.
>>>>> In the past I believe I installed from source. Then I must have tried to
>>>>> install through Ubuntu's repo, then I installed through the Haskell tool
>>>>> stack (curl -sSL https://get.haskellstack.org/ | sh). Now I can type
>>>>> ghci at the command line and I get 8.4.2, through stack ghci I get version
>>>>> 8.0.1, while starting a ghci REPL in Emacs goes with the 8.4.2. The Ubuntu
>>>>> repo version seems to be 8.2.2, BTW. What can I do/what should I do to
>>>>> straighten this out? What is the definitive install of Haskell, stack or
>>>>> Haskell platform, and what role should cabal play?
>>>>>
>>>>> LB
>>>>> _______________________________________________
>>>>> Beginners mailing list
>>>>> Beginners at haskell.org
>>>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>>>>
>>>> _______________________________________________
>>>> Beginners mailing list
>>>> Beginners at haskell.org
>>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>>>
>>> _______________________________________________
>>> Beginners mailing list
>>> Beginners at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>>
>> _______________________________________________
>> Beginners mailing list
>> Beginners at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20190129/af571733/attachment.html>

From daniel.trstenjak at gmail.com  Tue Jan 29 11:18:37 2019
From: daniel.trstenjak at gmail.com (Daniel Trstenjak)
Date: Tue, 29 Jan 2019 12:18:37 +0100
Subject: [Haskell-beginners] Install mess
In-Reply-To: <CAFAhFSVjSdxx-TSMah65marO3qTbi+4cp3yypPe0a_c+o_kJTQ@mail.gmail.com>
References: <CAFAhFSUV-vXAJOn+rsGvhRd8qGwcXpm0JJuiJsX0v6azUnG-iA@mail.gmail.com>
 <CAEQrVeQJw4oqk=3O0OGrObBJyZWENWdVfZC0d-hMH+8r=CZ_og@mail.gmail.com>
 <CAFAhFSXv=SJRJRM8Qj1SFd0QvwWzBdQ+sNrv8ZPNW+6v+WD4-g@mail.gmail.com>
 <CAC+a-TaJnqomOyKyTm-3LiuHfB=SUDceaXOw=YLcKi_8h-vcWA@mail.gmail.com>
 <CAFAhFSVjSdxx-TSMah65marO3qTbi+4cp3yypPe0a_c+o_kJTQ@mail.gmail.com>
Message-ID: <20190129111837.GA9725@octa>

Hi Lawrence,

On Mon, Jan 28, 2019 at 09:37:23PM -0600, Lawrence Bottorff wrote:
> So I've set up the Herbert V. Riedel PPA
> 
> sudo add-apt-repository ppa:hvr/ghc
> sudo apt-get update
> 
> then I installed ghc-8.6.3 and cabal-install-2.4
> 
> sudo apt-get install ghc-8.6.3
> sudo apt-get install cabal-install-2.4
> 
> . . . and stuff seems to be installing. However a check finds no cabal and ghc version 8.2.2
> 
> What am I missing?

Herbert's ppa installs 'ghc' to '/opt/ghc/8.6.3', certainly the same is the case for 'cabal-install'.
Below '/opt/ghc' you can have multiple installed ghcs at once.

The easiest way to configure which ghc should be used is by defining a
GHC_VERSION environment variable:

   export GHC_VERSION=8.6.3
   export PATH=/opt/ghc/$GHC_VERSION/bin:$PATH


Grettings,
Daniel