Sorry, I should have noted that the gist has a description comment at the bottom. https://gist.github.com/csabahruska/e9e143390c863f7b10b0298a7ae80ac1#gistcomment-3148797
On Wed, Jan 22, 2020 at 3:21 PM Ömer Sinan Ağacan <omeraga...@gmail.com> wrote: > What is the problem you're having? What do you mean by "run into problems"? > What's going wrong? > > It'd be helpful if you could show us your program in STG syntax. > > > Is it valid to use FloatRep argument in a boxed ADT on 64 bit? > > It should be valid, yes. > > I'd also try with `-dstg-lint -dcmm-lint`. > > Ömer > > Csaba Hruska <csaba.hru...@gmail.com>, 22 Oca 2020 Çar, 14:56 > tarihinde şunu yazdı: > > > > Hello, > > > > I try to use GHC backend via STG. For that reason I build small STG > program AST maually. So far the generated programs worked fine > (compile/link/run). > > However I run into problems when a lifted ADT has a FloatRep argument. > > Interestingly it works for DoubleRep. > > I'm using GHC 8.6.1 64 bit to generate the code for the constructed STG > AST. > > I wonder if I break an invariant or is this actually a bug? > > Is it valid to use FloatRep argument in a boxed ADT on 64 bit? > > I made a gist with the Haskell source and the generated Cmm code is also > included. > > > > https://gist.github.com/csabahruska/e9e143390c863f7b10b0298a7ae80ac1 > > > > Working program (DoubleRep): > > > https://gist.github.com/csabahruska/e9e143390c863f7b10b0298a7ae80ac1#file-stgsample-hs-L134-L198 > > > > Wrong program (FloatRep): > > > https://gist.github.com/csabahruska/e9e143390c863f7b10b0298a7ae80ac1#file-stgsample-hs-L64-L132 > > > > Thanks, > > Csaba > > > > > > _______________________________________________ > > ghc-devs mailing list > > ghc-devs@haskell.org > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs