Profile: zero total time

and run with RTS options -p -s. The true time taken is certainly NOT zero. How is this possible? Thanks. Cheers, Matthew Farkas-Dyck ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow

Re: Profile: zero total time

Sorry, I ought to have mentioned: $ uname -sr Linux 2.6.38 On 7 July 2011 14:03, Daniel Fischer daniel.is.fisc...@googlemail.com wrote: On Thursday 07 July 2011, 20:44:57, Matthew Farkas-Dyck wrote: I am trying to take a profile of a program, but when I run it, the total time (as given

Re: Records in Haskell

solutions, or explore variants. Simon ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users -- Matthew Farkas-Dyck

Re: Records in Haskell

/records.html -- Matthew Farkas-Dyck ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: Records in Haskell

Another thought: Perhaps bang as record selection operator. It would avoid further corner cases of dot, and it's not unprecedented in Haskell (e.g. Data.Map.!). If one wished to use dot, one could do this: import Prelude hiding ((.)); import Control.Category.Unicode((∘)); (.) = (!);

Re: Records in Haskell

Fair enough. On 20/12/2011, Chris Smith cdsm...@gmail.com wrote: On Tue, Dec 20, 2011 at 5:57 PM, Matthew Farkas-Dyck strake...@gmail.com wrote: Another thought: Perhaps bang as record selection operator. It would avoid further corner cases of dot, and it's not unprecedented in Haskell (e.g

GeneralizedNewtypeDeriving

Just of curiosity, why is it spelt with a z? Is it spelt thus in Scottish English? I thought that generalised is written throughout Great Britain. Cheers, MFD ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org

Re: GeneralizedNewtypeDeriving

). Chris From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-users-boun...@haskell.org] On Behalf Of David Fox Sent: 27 December 2011 14:50 To: Matthew Farkas-Dyck Cc: GHC users Subject: Re: GeneralizedNewtypeDeriving My guess is that Americans were involved. On Mon

Re: Records in Haskell

On 30/12/2011, Andriy Polischuk quux...@gmail.com wrote: Yet another idea: Consider using '\' as record access operator. No conflicts with anything at all, and, moreover, it really looks like hierarchical access. Reminds of filesystems though. I hope this is a joke. Matthew Farkas-Dyck

Re: Records in Haskell

Certainly not no conflicts: lambda expressions. On 30/12/2011, Colin Adams colinpaulad...@gmail.com wrote: On 30 December 2011 15:55, Matthew Farkas-Dyck strake...@gmail.com wrote: On 30/12/2011, Andriy Polischuk quux...@gmail.com wrote: Yet another idea: Consider using '\' as record

Re: Records in Haskell

to distinguish from quux (y . (foo . bar) . baz (f . g)) moo Yeah, that's why I dislike dot as compose operator (^_~) Matthew Farkas-Dyck wrote Certainly not no conflicts: lambda expressions. -- View this message in context: http://haskell.1045720.n5.nabble.com/Records-in-Haskell

Re: Records in Haskell

It seems to me that there's only one essential missing language feature, which is appropriately-kinded type-level strings Isn't this possible now with type → kind promotion? Cheers, Gershom Cheers, (and Happy New Year), MFD ___

Re: Records in Haskell

On 02/01/2012, Simon Peyton-Jones simo...@microsoft.com wrote: It seems to me that there's only one essential missing language feature, which is appropriately-kinded type-level strings (and, ideally, the ability to reflect these strings back down to the value level). Given that, template

Re: Records in Haskell

On 08/01/2012, Gábor Lehel illiss...@gmail.com wrote: 2012/1/8 Greg Weber g...@gregweber.info: 2012/1/8 Gábor Lehel illiss...@gmail.com Thank you. I have a few questions/comments. The module/record ambiguity is dealt with in Frege by preferring modules and requiring a module prefix for

Re: Records in Haskell

On 09/01/2012, Greg Weber g...@gregweber.info wrote: Thank you for all your feedback! I updated the wiki page accordingly. Let us stop and take note of what this feedback is about: the most convenient syntax for manipulating records, and much of this feedback applies to any records proposal.

Re: Records in Haskell

On 09/01/2012, Isaac Dupree m...@isaac.cedarswampstudios.org wrote: You mean this wiki page, right?: http://hackage.haskell.org/trac/ghc/wiki/Records/NameSpacing That is, there are no fundamental objections to the implementation of this records implementation. I think that might be overly

Re: Records in Haskell

. On Thu, Jan 12, 2012 at 10:02 AM, Matthew Farkas-Dyck strake...@gmail.comwrote: On 09/01/2012, Isaac Dupree m...@isaac.cedarswampstudios.org wrote: You mean this wiki page, right?: http://hackage.haskell.org/trac/ghc/wiki/Records/NameSpacing That is, there are no fundamental

Re: Records in Haskell

On 13/01/2012, Simon Peyton-Jones simo...@microsoft.com wrote: Thanks to Greg for leading the records debate. I apologise that I don't have enough bandwidth to make more than an occasional contribution. Greg's new wiki page, and the discussion so far has clarified my thinking, and this

Re: Composition operator [was: Re: Records in Haskell]

On 12/01/2012, Morten Brodersen morten.broder...@constrainttec.com wrote: Even if Unicode is not required, there is still a fallout. Let's look at a simple scenario: Somebody uploads a nice useful Haskell module that include a number of Unicode symbols. Unfortunately most

Re: Composition operator [was: Re: Records in Haskell]

On 13/01/2012, Herbert Valerio Riedel h...@gnu.org wrote: On Fri, 2012-01-13 at 15:16 +1100, Morten Brodersen wrote: Unfortunately most unix/windows/tools/source controls/editors out there are Ascii only. So after about 20 years the unicode standard has been around, the quantification most

Re: Records in Haskell

On 18/01/2012, Gábor Lehel illiss...@gmail.com wrote: (I *am*, however, uncomfortable with using straight-up type level strings, without consideration for any particular alternative. If nothing else they should at least be opaque symbols which can be passed around and used in the supported

Re: Records in Haskell

On 18/01/2012, Simon Peyton-Jones simo...@microsoft.com wrote: | Has *is* a type class. It can be used and abused like any other. | Record members with the same key ought to have the same semantics; the | programmer must ensure this, not just call them all x or the like. | | Weak types

Re: Posting etiquette, was Re: Records in Haskell

On 19/01/2012, Malcolm Wallace malcolm.wall...@me.com wrote: I find it completely unreasonable for a reply to a very long post to quote the entire text, only to add a single line at the bottom (or worse, embedded in the middle somewhere). In this case, there are 7 pages of quotation before

Re: Type operators in GHC

On 19/01/2012, Joachim Breitner m...@joachim-breitner.de wrote: (I have no good idea, but here is at least one: A dot '.' as the first character indicates a type variable; compared to a ':' this is a non-capitalized character). So that all symbols that start in dot are variables, and all

Re: Type operators in GHC

On 19/01/2012, Ian Lynagh ig...@earth.li wrote: Do you mean that in f :: (x, X, (+), (:+)) only x would be a type variable and X, (+), (:+) would be type constructors, but that in g :: forall y, Y, (*), (:*) . (x, X, (+), (:+), y, Y, (*), (:*)) y, Y, (*), (:*) would be

Records in Haskell: Type-Indexed Records (another proposal)

Hello all. I wrote a new proposal for the Haskell record system. It can be found at http://hackage.haskell.org/trac/ghc/wiki/Records/TypeIndexedRecords Records are indexed by arbitrary Haskell types. Scope is controlled as scope of key types. No fieldLabel declarations needed (as in DORF).

Re: Records in Haskell: Type-Indexed Records (another proposal)

On 03/03/2012, AntC anthony_clay...@clear.net.nz wrote: Apart from the Quasifunctor bit, I think you'll find your proposal is a rather cut-down version of DORF, just using different syntactic sugar. (Oh, and with the arguments to Has in a different order, just to be confusing.) Not so. I

Records in Haskell: Explicit Classy Records

Hello GHC users. I made another proposal for records in Haskell, meant to solve just the namespace problem, and no more. http://hackage.haskell.org/trac/ghc/wiki/Records/ExplicitClassyRecords In this system, record selectors are overloaded in explicitly-user-declared type classes. Thus one can

`StablePtr` in `ST`

I have been doing some work where i want `StablePtr`, but also to not be confined to `IO`. I saw the following comment in "compiler/prelude/PrimOp.hs": Question: Why @RealWorld@ - won't any instance of @_ST@ do the job? [ADR] It has been there for 20 years. What is the answer? If it is safe i'll

Re: Exposing target language in Haskell with GHC API

Hi, thanks for the response. On 26/08/2016, Christiaan Baaij wrote: > You mentioned that GHC does name mangling, but I must say I've never > seen GHC do this. I guess this was unclear: our compiler is mangling the names from GHC core, lest any clash with a BlueSpec

Exposing target language in Haskell with GHC API

A colleague and i are writing, as an unofficial side project, a Haskell→Bluespec compiler, using GHC as our Haskell front-end. The source language of the part we are writing is GHC Core. We need to somehow expose some Bluespec terms and types to the Haskell source program. We had a few ideas: 1.