request for reviews for my first patch -- ticket 7401

be appreciated! --- Ömer Sinan Ağacan http://osa1.net ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Questions about time and space profiling for non-strict langs paper and cost centre impl. of GHC

=36FE097056F4E03CCDD38B598158292E?doi=10.1.1.43.6277rep=rep1type=pdf --- Ömer Sinan Ağacan http://osa1.net ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Re: Questions about time and space profiling for non-strict langs paper and cost centre impl. of GHC

than ones explained in slides/papers. Thanks, --- Ömer Sinan Ağacan http://osa1.net ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Re: Questions about time and space profiling for non-strict langs paper and cost centre impl. of GHC

for this syntax to understand what does it really do.(assuming Cmm has better documentation that STG :) ) Sure. Better place for quick queries might be #ghc on FreeNode though - my nick is petermw. Great, my nick is osa1 and I'll be pinging you for short questions. Thanks again! --- Ömer Sinan Ağacan

segfault in RTS - can anyone help me tracking this bug down?

Hi all, I'm suffering from a RTS bug(probably GC related) that makes making progress in my GSoC project impossible. I have very limited knowledge of GHC internals and I currently have no idea how to produce a minimal program that demonstrates the bug. I wrote how to reproduce it and gdb backtrace

Re: segfault in RTS - can anyone help me tracking this bug down?

/RtsMain.c:114 #14 0x00408ea7 in main () I'm not sure if that helps but I just wanted to share in case it helps. I'm currently trying to come up with a single file that causes this problem. --- Ömer Sinan Ağacan http://osa1.net 2014-05-29 18:50 GMT+03:00 Luite Stegeman stege...@gmail.com

can a StgRhs have NoCCS when -prof is provided?

not optional), when -prof is provided CCS fields should not be filled with NoCCS(if we still don't care about CCS for some reason, it should be DontCareCCS) but I just wanted to make sure. Thanks. --- Ömer Sinan Ağacan http://osa1.net ___ ghc-devs

Re: RFC: Phabricator for patches and code review

to the Github repository that runs tests on pull request, it would be super easy for new contributors to submit small patches. As far as I can understand(altough currently I can't see how to send a patch) Phabricator helps sending pull requests/patches, but does it help with testing too? --- Ömer Sinan

Interesting whoCreated output (stack trace related)

think none of error1 and error2 should have been included in the stack trace or both of them should have been included. Thanks. --- Ömer Sinan Ağacan http://osa1.net ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc

Why we need CCS entries in apply functions (rts/Apply.cmm and rts/StgStdThunks.cmm)

/StgStdThunks.cmm`. I'm wondering why are those necessary. Thunk/function bodies already have CCS entries generated by functions in StgCmmBind so I'm having trouble seeing the need for this additional entries. Can anyone explain those to me? Thanks, --- Ömer Sinan Ağacan http://osa1.net

biographical profiling is broken?

behaviors or exceptions while running programs using LDV RTS arguments.) Can anyone help me with this? Is anyone using this feature? Am I right that this feature is not tested? Thanks. --- Ömer Sinan Ağacan http://osa1.net ___ ghc-devs mailing list ghc

Re: How's the integration of DWARF support coming along?

Is this stack trace support different than what we have currently? (e.g. the one implemented with GHC.Stack and cost centers) --- Ömer Sinan Ağacan http://osa1.net 2014-08-13 18:02 GMT+03:00 Johan Tibell johan.tib...@gmail.com: Hi, How's the integration of DWARF support coming along? It's

Re: How's the integration of DWARF support coming along?

Will generated stack traces be different that --- Ömer Sinan Ağacan http://osa1.net 2014-08-13 19:56 GMT+03:00 Johan Tibell johan.tib...@gmail.com: Yes, it doesn't use any code modification so it doesn't have runtime overhead (except when generating the actual trace) or interfere

Re: How's the integration of DWARF support coming along?

traces as we get using GHC.Stack right now? 2) If yes, then how can we have that without any runtime costs? Thanks and sorry again for my previous email. --- Ömer Sinan Ağacan http://osa1.net 2014-08-13 20:08 GMT+03:00 Ömer Sinan Ağacan omeraga...@gmail.com: Will generated stack traces

cabal directory structure under /libraries/ for a lib that uses Rts.h

with GHC? Thanks.. --- Ömer Sinan Ağacan http://osa1.net ___ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs

Re: cabal directory structure under /libraries/ for a lib that uses Rts.h

a function from `rts/RtsFlags.c`. I can define the function elsewhere but I still link it with `RtsFlags.c` because I'm using `RtsFlags` from that file. Any ideas? --- Ömer Sinan Ağacan http://osa1.net ___ ghc-devs mailing list ghc-devs@haskell.org http

Re: FYI: Cabal-1.22.1.0 has been released

Where can we see the changelog? https://github.com/haskell/cabal/blob/master/Cabal/changelog - this file has not been updated. 2015-02-22 12:08 GMT-05:00 Herbert Valerio Riedel hvrie...@gmail.com: On 2015-02-22 at 13:35:33 +0100, Johan Tibell wrote: We will probably want to ship that with GHC

Re: expanding type synonyms in error messages

), but others may feel differently here. Richard On Jun 16, 2015, at 11:20 AM, Ömer Sinan Ağacan omeraga...@gmail.com wrote: Hi all, While working with complex types with lots of arguments etc. errors are becoming annoying very fast. For example, GHC prints errors in this way: Expected type

Re: expanding type synonyms in error messages

lost. Thanks! Richard On Jun 19, 2015, at 9:07 AM, Ömer Sinan Ağacan omeraga...@gmail.com wrote: Great, thanks Kostiantyn! I'm looking for simple examples that we can add to GHC testsuite, if I find something I'll update the wiki page also. I made some progress on the patch, I think I

Re: expanding type synonyms in error messages

From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Christopher Allen Sent: 19 June 2015 04:27 To: Ömer Sinan Ağacan Cc: ghc-devs Subject: Re: expanding type synonyms in error messages Just to add my own +1, having this when working with streaming libraries (I've needed

Re: expanding type synonyms in error messages

for this feature, and I think this is separate from GHC tests, as they don't need to be realistic, but of course please continue and hopefully more examples will come. 19 черв. 2015 16:19 Ömer Sinan Ağacan omeraga...@gmail.com пише: Done: https://ghc.haskell.org/trac/ghc/ticket/10547 2015-06-19 9:12

Re: expanding type synonyms in error messages

Created a patch for reviews/feedbacks: https://phabricator.haskell.org/D1016 2015-06-26 12:40 GMT-04:00 Ömer Sinan Ağacan omeraga...@gmail.com: Update: I have a patch, it's not quite ready for reviews, but I'm now getting this error message: Main.hs:17:26: error: Couldn't match type

expanding type synonyms in error messages

Hi all, While working with complex types with lots of arguments etc. errors are becoming annoying very fast. For example, GHC prints errors in this way: Expected type: type without any synonyms Actual type: type with synonyms Now I have to expand that synonym in my head to understand

Re: question about GHC API on GHC plugin

I have a new question: I'm working on supporting literals now. I'm having trouble creating something that looks like `(App (Var F#) (Lit 1.0))` because I don't know how to create a variable that corresponds to the `F#` constructor. The mkWiredInName function looks promising, but overly

How is this Generic-based instance implementation optimized by GHC?

Hi all, I'm very confused by an optimization GHC is doing. I have this code: data Tree a = Leaf a | Branch (Tree a) (Tree a) deriving (Generic, Show, NFData) data Tree1 a = Leaf1 a | Branch1 (Tree1 a) (Tree1 a) deriving (Show) instance NFData a = NFData (Tree1 a) where

Re: How is this Generic-based instance implementation optimized by GHC?

Inlining. In 24th Symposium on Implementation and Application of Functional Languages (IFL'12), 2013. http://dreixel.net/research/pdf/ogpi.pdf Cheers, Pedro On Sat, Aug 22, 2015 at 11:26 PM, Ömer Sinan Ağacan omeraga...@gmail.com wrote: Hi all, I'm very confused by an optimization GHC

Re: Forcing a linking error?

Here's an example that fails with a link time error when -threaded is not used: ➜ rts_test ghc --make Main.hs [1 of 1] Compiling Main ( Main.hs, Main.o ) Linking Main ... Main.o: In function `rn4_info': (.text+0x26): undefined reference to `wakeUpRts'

Re: Deleting sync-all

+1 from me. I only use it for `get` command after changing branches, and I think I can just as easily do same thing with `git submodule update --checkout`. (is that right?) 2015-07-21 6:45 GMT-04:00 Thomas Miedema thomasmied...@gmail.com: Hello ghc-devs, I would like to delete the file

Re: Segfault in a CoreLinted program (and a GHC-generated Core question)

OK, thanks to people at IRC channel(especially @rwbarton) I realized that my lint calls were not actually running, simply because I wasn't using -dcore-lint.. I didn't know such a flag exists, and even with the absence of the flag I'd expect a core lint would work, because I'm explicitly calling

Segfault in a CoreLinted program (and a GHC-generated Core question)

I have a very simple Core plugin that generates some functions. After my Core-to-Core pass is done, I'm running the linter to make sure the Core generated by my plugin is well-formed and well-typed. However, even though lint checker passes, the code generated by my plugin is failing with a

Re: How inline pragma works

There's this section in GHC user manual: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/pragmas.html#inline-noinline-pragma But see also: https://ghc.haskell.org/trac/ghc/ticket/10766 2015-11-10 5:16 GMT-05:00 Эдгар Жаворонков : > Hello everyone! > >

Re: How inline pragma works

> > --- > С уважением, > Жаворонков Эдгар > > Best regards, > Edgar A. Zhavoronkov > > 2015-11-10 17:48 GMT+03:00 Ömer Sinan Ağacan <omeraga...@gmail.com>: >> >> There's this section in GHC user manual: >> >> https://downloads.haskell.org/~ghc/late

Re: too many lines too long

I also dislike the idea of automatically rejecting such code. I agree with Austin's argument that the contribution barrier is already too high and Richard's arguments, but in addition to those, I think it wouldn't be fair because some patches of people with push access won't be subject to the

Re: Implementation idea for unboxed polymorphic types

I had started working on exactly the same thing at some point. I had a TemplateHaskell-based implementation which _almost_ worked. The problem was that the syntax was very, very heavy. Because I had to use quotes for _every_ constructor application(with explicitly passed types). (because I had a

Re: Implementation idea for unboxed polymorphic types

set of specializations, > which is a downside. But I'm not sure it's so much of a downside that the > approach is unusable. > > Richard > > On Nov 15, 2015, at 10:08 AM, Ömer Sinan Ağacan <omeraga...@gmail.com> wrote: > >> I had started working on exactly the same th

Printing local Var(Id) types(in Outputable outputs)

Hi all, I'm considering getting into the trouble of implementing this: A flag for printing types of local Ids. To be more specific, I'd like to see types of local Ids and binders in case expression alternatives etc. I may name it -dshow-local-id-types or something like that. An example output

is this change in TH error message intentional?

Hi all, I realized this change in TH error messages: GHC 7.10.2: ➜ th-test ghc --make Main.hs [1 of 1] Compiling Main ( Main.hs, Main.o ) Main.hs:13:15: Not in scope: ‘locaton’ Perhaps you meant ‘location’ (imported from Language.Haskell.TH.Syntax)

Building stage1 only

(I know I asked this many times in IRC channel but I don't remember getting any answers. I apologize if anyone had answered this on IRC channel and I missed) With current build system, even if I choose "devel1" it always builds stage2 compiler too. A comment in build.mk says that it's for working

Show instances for GHC internals

Currently the only way to debug and inspect GHC internals is by adding some carefully placed print statements. (I'd love to be proven wrong on this, cost of debugging this way is huge, given how long it's taking to rebuild GHC) We have Outputable instances for most data types, and

Re: is this change in TH error message intentional?

n.hs? > > Janek > > Dnia poniedziałek, 19 października 2015, Ömer Sinan Ağacan napisał: >> Hi all, >> >> I realized this change in TH error messages: >> >> GHC 7.10.2: >> >> ➜ th-test ghc --make Main.hs >> [1 o

Re: Building stage1 only

> Out of sheer curiosity: in what situations does that happen for you? *If* you > are working on a single branch, ie. you're not switching back and forth > between master and your feature branches, this should not happen (and even if > you switch between branches it should still be safe for most

Re: Show instances for GHC internals

> One difficulty is that many of the core type data types, e.g. TyThing, > are (1) a large mutually recursive graph, and (2) have > unsafeInterleaveIO thunks which would induce IO action. So a naive > Show instance would give infinite output and have lots of side effects. > There are many data

Re: Show instances for GHC internals

ction Edward, do you remember any examples of such code? 2015-10-20 9:22 GMT-04:00 Ömer Sinan Ağacan <omeraga...@gmail.com>: >> One difficulty is that many of the core type data types, e.g. TyThing, >> are (1) a large mutually recursive graph, and (2) have >> unsafeInt

build system issue: some changes in libraries doesn't trigger required rebuilds

Hi all, I'm having this annoying issue all the time: Whenever a `git pull origin master` updates a library(one of the submodules, like `Binary`) a `make` doesn't trigger required rebuilds(e.g. it doesn't rebuild libraries and tries to rebuild GHC code). I don't know how to force build libraries,

Re: question about GHC API on GHC plugin

it helps. 2015-08-24 21:59 GMT-04:00 Ömer Sinan Ağacan omeraga...@gmail.com: Lets say I'm running the plugin on a function with signature `Floating a = a - a`, then the plugin has access to the `Floating` dictionary for the type. But if I want to add two numbers together, I need the `Num

Re: question about GHC API on GHC plugin

thing, inl_act = AlwaysActive, inl_rule = >> FunLike},NoOccInfo,StrictSig (DmdType [] (Dunno NoCPR)),JD >> {strd = Lazy, absd = Use Many Used},0}}) >> >> You can find my pretty printer (and all the other code for the plugin) >> at: >> https://github.com

Re: question about GHC API on GHC plugin

Typo: "You're parsing your code" I mean "You're passing your code" 2015-09-05 0:16 GMT-04:00 Ömer Sinan Ağacan <omeraga...@gmail.com>: > Hi Mike, > > I'll try to hack an example for you some time tomorrow(I'm returning from ICFP > and have some long flights

Re: [GHC] #10487: DeriveGeneric breaks when the same data name is used in different modules

Done. It's be the best if we could add a test case that uses multiple packages, but as far as I could see current test runner isn't supporting this setup. 2015-09-24 12:17 GMT-04:00 Simon Peyton Jones : > Can someone fill in the regression-test test-case on the ticket? I

Re: question about coercions between primitive types in STG level

Thanks Simon, primops worked fine, but not I'm getting assembler errors(even though -dcore-lint, -dstg-lint and -dcmm-lint are all passing). The error is caused by this STG expression: case (#,#) [ds_gX8 ds_gX9] of _ { (#,#) tag_gWR ubx_gWS -> case tag_gWR of tag_gWR {

Re: Does the Strict extension make monadic bindings strict?

I think this is a problem/bug in the implementation. In the "function definitions" section of the wiki page it says the argument will have a bang pattern. But then this code: do x <- ... return (x + 1) which is just a syntactic sugar for `... >>= \x -> return (x + 1)` doesn't have the

Another question about -XStrict: Why not implement it as a Core pass?

So this is another question comes to mind. It seems to me like it would be a lot easier to implement, we could even implement it as a plugin, without changing anything in GHC. (I mean -XStrict, not -XStrictData) I'm wondering why it's currently implemented on Haskell syntax. Any ideas? Is it

question about coercions between primitive types in STG level

Hi all, In my compiler pass(D1559, see ElimUbxSums.hs) I'm doing some unsafe coercions at the STG level. It works fine for lifted types, but for unlifted ones I'm having some problems. What I'm trying to do is given a number of primitive types I'm finding the one with biggest size, and then

Re: Plugins: Accessing unexported bindings

2015-12-06 2:01 GMT-05:00 Levent Erkok : > The mg_binds field of the ModGuts seem to only contain the bindings that are > exported from the module being compiled. This is not true, it contains all the definitions in the module and I'm relying on this all the time. I just tested

Kinds of type synonym arguments

In this program: {-# LANGUAGE MagicHash, UnboxedTuples #-} module Main where import GHC.Prim import GHC.Types type Tuple a b = (# a, b #) main = do let -- x :: Tuple Int# Float# x :: (# Int#, Float# #) x = (# 1#, 0.0# #) return () If I

Re: ok to do reformatting commits?

2015-11-24 22:14 GMT-05:00 Evan Laforge : > When I was doing a recent patch, I was annoyed by lint errors about >>80 lines when I was just conforming to the existing style. I just wanted to mention that I've been using --nolint flag of arc diff lately and it's really great. It

-XStrict: Why some binders are not made strict?

Let's say I have this code: zip :: [a] -> [b] -> [(a, b)] zip [] [] = [] zip (x : xs) (y : ys) = (x, y) : zip xs ys With -XStrict 'x', 'xs', 'y' and 'ys' don't become strict. I'm wondering about the motivation behind this, I found this interesting. I always thought -XStrict gives me

Re: -XStrict: Why some binders are not made strict?

u look at the generated Core you'll see it more clearly I think(you'll see that no pattern matching on x y xs and ys are done in Core). 2015-12-07 20:43 GMT-05:00 Brandon Allbery <allber...@gmail.com>: > On Mon, Dec 7, 2015 at 8:40 PM, Ömer Sinan Ağacan <omeraga...@gmail.com> > wrote: >>

Re: question about coercions between primitive types in STG level

Thanks for all the answers, Simon, do you remember anything about the ticket about converting between floating point types and integers? I spend quite a bit of time in Trac searching for this but couldn't find it. Before implementing a new primop, MachOp, and code generation functions for that

Re: -XStrict: Why some binders are not made strict?

I agree with Roman here. Probably another reason for making every binding strict is this: (sorry if this is mentioned) Suppose I imported `data D = D ...` from another library and I'm in -XStrict. In this code: case ... of D b1 b2 ... -> I should be able to assume that b1, b2 ...

Re: Kinds of type synonym arguments

Things like Int#, Double# and (# Int#, Double #) are >> completely out of its scope. >> >> This isn't just the typing on (,) being overly restrictive. It would >> be a pretty fundamental change that would, I assume, be non-trivial to >> implement. I think it would be non-triv

Re: Kinds of type synonym arguments

default and where we want simpler behavior by default. > > Richard > > On Dec 6, 2015, at 1:55 PM, Ömer Sinan Ağacan <omeraga...@gmail.com> wrote: > >> In this program: >> >>{-# LANGUAGE MagicHash, UnboxedTuples #-} >> >>module Main where >&

Re: Kinds of type synonym arguments

be used over both * and #, > | but the synonym should work. The need to request the special treatment might > | be lifted, but we'd have to think hard about where we want the generality by > | default and where we want simpler behavior by default. > | > > | > Richard > |

Re: Implementation idea for unboxed polymorphic types

.github.com/vagarenko/077c6dd73cd610269aa9 ? > > 2015-11-16 22:32 GMT+05:00 Ömer Sinan Ağacan <omeraga...@gmail.com>: >> >> > But I don't see why you'd need quoting at constructor calls. Couldn't >> > you >> > just have a type class like `PointFamily`

expandTypeSynonyms panics after kind equality patch

My branch panicking during stage 2 build and when I tried to debug I realized the panicking function is `unionTCvSubst`, when called by `expandTypeSynonyms`. In my branch I'm doing some type-based transformations and I'm using `expandTypeSynonyms` on type of identifiers for that. According to git

NOINLINE effects worker/wrapper - why and how to fix?

So I was doing some micro benchmarks and I realized that adding NOINLINE to a function somehow prevents worker/wrapper. Imagine this factorial function which has a very obvious worker/wrapper opportunity: fac :: Int -> Int fac 0 = 1 fac n = n * fac (n - 1) If I add NOINLINE to this,

Re: Kinds of type synonym arguments

f data constructor ‘Blah2’ In the newtype declaration for ‘Blah2’ Ideally second definition should be OK, and kind of Blah2 should be #. Is this too hard to do? 2015-12-16 17:22 GMT-05:00 Richard Eisenberg <e...@cis.upenn.edu>: > > On Dec 16, 2015, at 2:06 PM, Ömer Sin

Re: ok to do reformatting commits?

2015-11-24 22:14 GMT-05:00 Evan Laforge : > Would anyone mind if I went and wrapped a bunch of files, say > typecheck/*.hs? This seems simpler than either constant hassling from > arc or coming up with more elaborate rules for arc. I would have to > make some formatting

Do we need to maintain PrimRep.VecRep?

I have some code that does things depending on PrimReps of terms and so I have to handle VecRep there. To understand what VecRep exactly is and how to use it I looked at its uses, and all I can find was that we have a wired-in DataCon `vecRepDataCon` which has a type that I thought should have

Re: Do we need to maintain PrimRep.VecRep?

ecRep's there :) > > Cheers, > Geoff > > On 06/07/2016 05:00 AM, Ömer Sinan Ağacan wrote: >> I have some code that does things depending on PrimReps of terms and so I >> have >> to handle VecRep there. To understand what VecRep exactly is and how to use >&g

Re: Do we need to maintain PrimRep.VecRep?

ing > such support? :) > > Cheers, > Geoff > > On 06/07/2016 11:08 AM, Ömer Sinan Ağacan wrote: >> Thanks, I can see the TyCons with VecReps there.. but I still can't see how >> the >> terms are constructed? Can you show me some example programs, or functions in >

Re: Force GC calls out of the straight line execution path

Hi Harendra, Would it be possible for you to provide a minimal example that compiles to such assembly? It's hard to tell if this is an easy case. Also, just to make sure, you're using -O, right? (I'm not sure if we have a related transformation enabled with -O but just to make sure...)

Re: CoreToStg Asserts

Hi Tamar, Have a look at Note [Disgusting computation of CafRefs] in TidyPgm.hs. The assertion triggered here is the one that checks `hasCafRefs` mentioned in that note matches with actual CAF-ness. Are you using stock GHC? Which version? Do you have a minimal program that reproduces this?

comment lines in Cmm outputs

I'm reading a lot of Cmm these days and comments added by Cmm dump (which are apparently added after 8.0.1) are so annoying becuase they're not saying anything useful (what's the point of adding "// CmmCall" to a "call" line or "// CmmCondBranch" to a "if" line?) but making a lot of noise. Why

can't build with release settings

Is anyone else having this problem when building with default settings (no build.mk): "inplace/bin/ghc-stage2" -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -H32m -O -Wall -hide-all-packages -i -iutils/haddock/driver -iutils/haddock/haddock-api/src

Re: can't build with release settings

I just had the same error when I checkout current HEAD. (without a distclean though) 2016-05-28 14:56 GMT-04:00 Ömer Sinan Ağacan <omeraga...@gmail.com>: > Is anyone else having this problem when building with default settings > (no build.mk): > > "inplace/bin/ghc-stag

Re: can't build with release settings

Please ignore. I realized I had a bug in my code (which makes some changes in generated Cmm) and I realized -DDEBUG is not on for stage1 in release mode, so my assertions were not running. I have no idea how can the bug cause this error though... 2016-05-28 15:03 GMT-04:00 Ömer Sinan Ağacan

Re: comment lines in Cmm outputs

t;b...@smart-cactus.org>: > Ömer Sinan Ağacan <omeraga...@gmail.com> writes: > >> I'm reading a lot of Cmm these days and comments added by Cmm dump (which >> are >> apparently added after 8.0.1) are so annoying becuase they're not saying >> anything usef

Re: comment lines in Cmm outputs

2016-05-29 11:14 GMT-04:00 Ben Gamari : > CmmUnsafeForeignCall as it looks quite similar to > a CmmCall Well then maybe we should print those differently instead of adding noise to every single line just to distinguish CmmUnsafeForeignCall from CmmCall.

Re: Core of a whole package

2016-05-31 16:04 GMT-04:00 Alberto Sadde O. : > I am trying to get the Core of a whole package. > I have been using the GHC API to get the Core of each file in a package but > I have a problems with non-exposed modules of the package. Try `cabal install

Re: Core of a whole package

You have to do your manipulations module by module, as GHC is doing compilation that way. If you need some information from other modules when compiling a module, you should dump that information in .hi files (like definitions of inline functions). What exactly are you trying to do? 2016-05-31

Re: Core of a whole package

ion at the Core level about which functions > are the most used within a package, which data types are the most used. > > So how do I dump the contents of a module to a .hi file? Is this something I > can do through the API? > > > > Alberto > > > On Wed, Ju

Re: Parser changes for supporting top-level SCC annotations

wish both to have the same name, you can leave off the SCC > name. > > It seems worth it to me to introduce a new pragma here. > > Richard > > On May 30, 2016, at 3:14 PM, Ömer Sinan Ağacan <omeraga...@gmail.com> wrote: > >> I'm trying to support SCCs at the top

Parser changes for supporting top-level SCC annotations

I'm trying to support SCCs at the top-level. The implementation should be trivial except the parsing part turned out to be tricky. Since expressions can appear at the top-level, after a {-# SCC ... #-} parser can't decide whether to reduce the token in `sigdecl` to generate a `(LHsDecl (Sig

Does anyone know any easy-to-run compile-time benchmark suites?

Hi all, I was wondering if anyone has or knows easy-to-run compile-time benchmarks? I'm looking for something like nofib -- ideally after a fresh build I should be able to just run `make` and get some numbers (mainly allocations) back. ___ ghc-devs

Re: Testsuite cleaning

I also realized this after a rebase I did yesterday. Should be a recent thing. 2016-06-24 7:58 GMT+00:00 Simon Peyton Jones via ghc-devs : > Thomas > > During debugging I often compile a single test program > > ghc -c T1969.hs > > But the new testsuite setup

How to build profiled stage1?

I'm trying to debug my stage1 compiler and as a last resort I'm trying to build stage1 compiler using `-prof -fprof-auto` to be able to do `+RTS -xc -RTS` during the stage2 build. I tried couple of things but they all failed in different ways. As far as I understand, both SRC_HC_OPTS and

Re: StgCase - are LiveVars and SRT fields going to be used?

I submitted https://phabricator.haskell.org/D1889 which hopefully fixes this properly. 2016-02-05 21:50 GMT-05:00 Ömer Sinan Ağacan <omeraga...@gmail.com>: > Simon, I broke the debug build with that commit. I actually validated locally > before committing, but apparently the defa

Re: StgCase - are LiveVars and SRT fields going to be used?

rstand why we say every updatable thunk has CAFs. I think this is only the case with top-level updatable thunks, right? If no, then maybe the problem is not with the assertion but rather with the CorePrep step that sets IdInfos? Any ideas? Thanks.. 2016-02-01 20:19 GMT-05:00 Ömer Sinan Ağacan <om

Re: a reliable way of dropping levity args?

2016-01-29 3:36 GMT-05:00 Simon Peyton Jones : > > So you need something like > > isLevityCon :: Type -> Bool > isLevityCon (TyConApp tc []) = isLevityTy (tyConKind tc) > .. > > Please document both functions carefully > > ALSO there is a bug in

Re: a reliable way of dropping levity args?

asn't working for you. > What does (map idType args) say? > > Richard > > On Jan 24, 2016, at 8:58 PM, Ömer Sinan Ağacan <omeraga...@gmail.com> wrote: > >> Hi all, >> >> I'm looking for a reliable way of dropping levity args from TyCon >> app

Adding a "release" setting in build.mk.sample (and some other build system questions)

I'm trying to figure out how to generate a release build. I thought it should be "perf" setting, but then I realized ghc-stage1 is called with -O (instead of -O2) when building stage2 with perf setting. So either perf is not the release setting, or I need stage3 which is probably compiled with

Re: a reliable way of dropping levity args?

Ahh, levity is type of kinds, right? For some reason I thought kinds are now levities (or whatever it's called). This makes sense. I just tried and I think it works, thanks. 2016-01-28 19:39 GMT-05:00 Richard Eisenberg <e...@cis.upenn.edu>: > > On Jan 28, 2016, at 5:48 PM, Ömer

Re: a reliable way of dropping levity args?

an idea of what's actually happening. 2016-01-28 20:30 GMT-05:00 Ömer Sinan Ağacan <omeraga...@gmail.com>: > Ahh, levity is type of kinds, right? For some reason I thought kinds are now > levities (or whatever it's called). This makes sense. I just tried and I think > it works, than

StgCase - are LiveVars and SRT fields going to be used?

Hi all, This is how case expression in STG currently defined: | StgCase (GenStgExpr bndr occ) (GenStgLiveVars occ) (GenStgLiveVars occ) bndr SRT AltType [GenStgAlt bndr occ] The GenStgLiveVars and SRT fields are never used anywhere in

Re: StgCase - are LiveVars and SRT fields going to be used?

https://phabricator.haskell.org/D1880 2016-02-01 18:04 GMT-05:00 Simon Peyton Jones : > Those fields are dead, now that the Cmm pass deals with it. We left it in > while making the transition, but they can go now. Go ahead! > > (Lots of code should disappear along with

CoreLint check for case with no alts

Hi all, CoreLint has a check that, when seeing a case expression with empty list of alternatives, checks whether the scrutinee is bottom. This "bottom-ness" check is, however, very simple and returning many false negatives. For example, when it sees a case expression, all it does is: go _

Re: Change in demand analysis results between 7.10.2 and RC1 (not fixed in RC2 and HEAD)

Thanks, but that patch looks like for CPR. In our case demands are changed, so I don't see how that's related. Am I missing anything in that patch? 2016-02-27 3:49 GMT-05:00 Joachim Breitner <m...@joachim-breitner.de>: > Hi, > Am Freitag, den 26.02.2016, 22:12 -0500 schrieb Ömer

Re: Change in demand analysis results between 7.10.2 and RC1 (not fixed in RC2 and HEAD)

it gives us more opportunities for > | optimizations. But I guess this could potentially reveal itself in some > > What optimisations do you have in mind? > > Simon > > | -Original Message- > | From: Ömer Sinan Ağacan [mailto:omeraga...@gmail.com] > | Sent: 2

Re: CoreLint check for case with no alts

> So feel free to make Lint cleverer; make sure you add a Note. But if it > /needs/ to be cleverer, that suggests that the simplifier should be cleverer > instead, and should simplify the code so that even a dumb Core Lint has no > trouble. Good point. The problem is linter is checking every

Change in demand analysis results between 7.10.2 and RC1 (not fixed in RC2 and HEAD)

Hi all, While working on demand analyzer today we realized that there has been some changes in demand analysis results between GHC 7.10.2 and 8.0-rc2. Here's a minimal example: {-# LANGUAGE BangPatterns #-} module Main where data Prod a = Prod !a !a addProd :: Prod Int -> Prod

  1   2   3   4   >