Note the colon before the name... that is what causes the remote
branch to be deleted. My understanding is that you are literally
pushing a void local branch over the remote branch, which effectively
deletes it.
Since Git 1.7, I believe you can also:
git push origin --delete origin/wip/new-flatte
I believe you do this with: arc patch D123456
The arcanist docs are handy:
https://secure.phabricator.com/book/phabricator/article/arcanist/
On Thu, Sep 18, 2014 at 9:38 AM, Simon Peyton Jones
wrote:
> Dear GHC devs
>
> I'm sure I should know this, but if I want to build a Phab patch, to
> repr
Instead of encoding the status in the URL, since we don't want URLs to
change with the status of the proposal/feature changes, it sounds like
we really just want something better than TitleIndex for browsing the
wiki. (I've never seen a Trac wiki where TitleIndex is that useful
anyway, other than t
Can someone with The Power please symlink (or otherwise redirect) this:
https://downloads.haskell.org/~ghc/latest/docs/html/libraries/ghc
to
https://downloads.haskell.org/~ghc/latest/docs/html/libraries/ghc-7.8.4
... so I can Hoogle with greater ease?
Thanks much!
Andrew
__
I think the fact that we now have these minimal installers floating
around is evidence that there is demand for that.
I personally just download the latest bindist from the GHC site and
bootstrap cabal myself. Partly this is because my work requires me to
have the latest GHC, so maybe I'm not in t
Forgive me if this has been answered somewhere, but is there an
officially sanctioned bindist of 7.10.1 for OS X yet? The page I
usually visit [1] doesn't list one yet.
Thanks!
Andrew
[1] https://www.haskell.org/ghc/download_ghc_7_10_1
___
ghc-devs mail
HERMIT has some code for building dictionaries for a given predicate
type (by invoking the typechecker functions that do this):
https://github.com/ku-fpg/hermit/blob/master/src/HERMIT/Dictionary/GHC.hs#L223
The functions to run TcM computations inside CoreM are here:
https://github.com/ku-fpg/he
type class. `log` no longer takes one parameter;
> in core, it takes two. I'm having trouble figuring out how to get the
> appropriate dictionary to pass as the "dictionary parameter" to these
> functions.
>
> On Mon, Aug 17, 2015 at 4:21 PM, Andrew Farmer wrote:
>>
it by type?
On Mon, Aug 24, 2015 at 2:42 PM, Mike Izbicki wrote:
> Thanks! Now one more question :)
>
> The code Andrew Farmer showed me for getting dictionaries works great
> when I have a concrete type (e.g. Float) I want a dictionary for. But
> now I'm working on polym
Sorry, I dropped the ball on creating a ticket. I just did so:
https://ghc.haskell.org/trac/ghc/ticket/10829
(As an aside, the original ticket, #10528, had a milestone set as
7.10.3, so I just assumed a 7.10.3 was planned and coming soon.)
On Wed, Sep 2, 2015 at 7:43 AM, Simon Peyton Jones
wrot
As you mentioned, the two show stoppers for HERMIT are #10528
(specifically SPJs commit in comment:15 - see [1]) and #10829 (see
D1246). The first disables inlining/rule application in the LHS of
rules, the second does the same in the RHS. nofib results for the
latter are on the ticket.
I've set b
Simon,
I really enjoyed reading this paper... I was wondering if you could comment
on the implementation of Strict Core? Was it ever implemented in GHC (even
as a proof-of-concept)? If not, was it just due to a lack of time or some
fundamental limitation or problem discovered after the paper? If i
Bartosz left a note in the diff about it being faster this way:
https://github.com/niteria/deterministic-fvs/blob/master/results.txt#L83-L89
But yeah, I would have also thought it better eta-reduced.
On Thu, Dec 3, 2015 at 10:43 AM, Richard Eisenberg wrote:
> Hi devs,
>
> I'm (once again) mergi
Possibly related, when I use hoogle to look up GHC things ("+ghc
Unique", for instance) and try to click through to the haddocks, it
always 404s.
If I change the link from:
https://downloads.haskell.org/~ghc/latest/docs/html/libraries/ghc/Unique.html#t:Unique
to:
https://downloads.haskell.org/~
an 5, 2016 at 2:48 PM, Ben Gamari wrote:
> Andrew Farmer writes:
>
>> Possibly related, when I use hoogle to look up GHC things ("+ghc
>> Unique", for instance) and try to click through to the haddocks, it
>> always 404s.
>>
> I've gone ahead and creat
I *think* we found our answer here:
https://github.com/ghc/ghc/blob/2db18b8135335da2da9918b722699df684097be9/compiler/typecheck/TcInstDcls.hs#L158
On Tue, Jan 5, 2016 at 9:39 PM, Conal Elliott wrote:
> Sorry for the editing error. I meant "Did something about change with ...".
>
> On Tue, Jan 5,
I'm guessing this is the same problem with gmp on OS X, but I got it
during the ./configure step, so thought I'd pass along the error
message:
mba:ghc-8.0.0.20160111 xich$ ./configure --prefix=/Users/xich/projects/ghc8
checking for path to top of build tree... dyld: Library not loaded:
/usr/local/
I've also been trying to find a good way to do this. I had a somewhat hacky
driver that would use GHC to compile the plugin in a temporary directory,
then create a custom package database with only that plugin and add that
database to the stack of package databases when compiling the target
program
Calling `exprType` on:
case enumFromStepN
Int
$fNumInt
(I# 1)
(I# 1)
x of wild
Stream s1 ostep t ds1 -> Left s1 ((Int, (Int, Int)), s1) t
gives:
Either s1 ((Int, (Int, Int)), s1)
Which is problematic, as the type variable 's1' is unbound outside of the
alter
What happens when you put NOINLINE on the function and compile with
-fexpose-all-unfoldings? Does that get the behavior you want?
On Thu, Jul 18, 2013 at 2:20 AM, Simon Peyton-Jones
wrote:
> It seems a little weird, but the internal data types can express it, so
> if you can make the front end
heuristics
> for varying the nursery size based on the quantity of data retained, for
> example. I think there's a lot of room for improvement here, but someone
> needs to do some careful benchmarking and experimentation. Andrew Farmer
> did some work on this and allegedly got good resul
t; other folks can help out wiht experimentation
>
>
> On Tue, Oct 1, 2013 at 4:30 PM, Andrew Farmer wrote:
>
>> I did indeed implement dynamic nursery sizing and did some preliminary
>> benchmarking. The headline figure: 15% speedup on the nofib/gc benchmarks,
>>
+1 for pragma, though the SPEC type is always the same anyway... is it
exported from somewhere? It seems silly that I have to define and annotate
my own version when I want to use it. I realize that doesn't solve your
stage 1 problem... more of just a general question.
_
Wouldn't #2 mean we'd have to annotate (via pragma) every type we want to
eliminate, rather than a single type?
I think the current design serves the need: "I want you to try really hard
on this function." ... which seems useful.
#2 seems like an orthogonal issue: "I want to ensure this type is o
The published version of that paper in the ACM digital library...
http://dl.acm.org/citation.cfm?id=1017478
On Thu, Oct 31, 2013 at 5:10 PM, Edward Z. Yang wrote:
> > So that leads me to wonder: are there limitations that we should be
> > aware of? Have I simply been lucky so far?
>
> If you a
I know that #7602 has been mentioned as a final loose end in the RC. I was
wondering if someone in the know could summarize its status in regards to
how it effects GHC users.
Feel free to be blisteringly brief... ;-) I'm just looking for things like:
"this is a non-issue on modern OS X/Clang" or "
That moment when spammers start pushing language research forward by
generating functions from natural language specifications.
On Tue, Apr 8, 2014 at 1:08 PM, Artyom Kazak wrote:
> Look what I've found: http://codecha.org/ . It might be an easy solution
> to the Haskell-specific CAPTCHA proble
Somewhat related: Using Hoogle with +ghc will give results which link
into the ghc haddock docs.
For instance: http://www.haskell.org/hoogle/?hoogle=%2Bghc+getOccName
The link for 'getOccName' points to:
http://www.haskell.org/ghc/docs/latest/html/libraries/ghc/Name.html#v:getOccName
which give
+1
On Tue, Apr 29, 2014 at 9:46 AM, Edward Kmett wrote:
> I would really like that as well.
>
> My experience is it is rather easy to get users to put together a pull
> request through github.
>
> It is rather more like pulling teeth to get them to use git properly and put
> together a traditiona
Are all of these links collected on the GHC wiki somewhere? If not,
would you mind adding them?
I, for one, appreciate a curated list of references like this!
On Sat, May 3, 2014 at 5:33 AM, Arash Rouhani
wrote:
> (Sorry Florian, I forgot to "reply to list"!)
>
> Hi Florian!
>
> Forget Cminusmin
At the risk of sounding redundantly redundant, I'd like to third this.
My workflow for finding stuff in the GHC codebase is a mixture of grep
and Hoogle. Searching Hoogle for "+ghc :: [TyVar] -> Type -> Type" is
a huge timesaver, and Hoogle sends me to the generated haddock
comments. Usually the h
On Thu, Jul 3, 2014 at 4:13 AM, Joachim Breitner
wrote:
> On the other hand, having a “detab and rename” horizon where merging patches
> from
> before is much harder, and where "git log -L" and "git blame" fail to
> work properly would be a hindrance.
Minor point, but you can use "git blame -w"
mkVarUnqual calls mkVarOccFS, which constructs an OccName in the
varName namespace. You need to construct your RdrName via mkTyVarOcc,
which picks the Type/Class namespace.
On Tue, Mar 22, 2016 at 5:09 PM, Conal Elliott wrote:
> I'm trying to construct a dictionary in a GHC plugin. I'm stuck on f
Er, dictionary... sorry, mkDataOccFS
On Tue, Mar 22, 2016 at 5:24 PM, Andrew Farmer wrote:
> mkVarUnqual calls mkVarOccFS, which constructs an OccName in the
> varName namespace. You need to construct your RdrName via mkTyVarOcc,
> which picks the Type/Class namespace.
>
> On Tu
Aforementioned versioning policy:
https://wiki.haskell.org/Package_versioning_policy
On Mon, Jun 6, 2016 at 5:58 PM, Dominick Samperi wrote:
> I guess what you are saying is that this policy will prevent packages
> from installing with new versions of ghc until the maintainer has had
> a chance t
Noticed this today:
ghci> let xs = [0.0,0.1 .. 86400.0] in maximum xs
86400.005062
enumFromThenTo is implemented by numericEnumFromThenTo:
https://github.com/ghc/ghc/blob/a90085bd45239fffd65c01c24752a9bbcef346f1/libraries/base/GHC/Real.hs#L227
Which probably accumulates error in numericEnum
) in
maximum $ takeWhile (<= z + d) $ go x
Prelude> new 0.0 0.1 86400.0
86400.0054126
Sorry to spam the list. :-P Floating point is hard.
On Tue, Aug 9, 2016 at 8:22 PM, Andrew Farmer wrote:
> Noticed this today:
>
> ghci> let xs = [0.0,0.1 .. 86400.0] in maximum xs
> 86400
37 matches
Mail list logo