johnw 2017-03-07 14:52:25
jchia: if you use ghc -ddump-minimal-imports Foo.hs, it'll probably get you where you want to be
benzrf 2017-03-07 15:01:01
er, maybe rather a pointer to the code you wanna jump to
benzrf 2017-03-07 15:01:05
i believe the actual expressions appearing in the code get compiled to static routines
benzrf 2017-03-07 15:02:06
so if you write something like `case f x of Just n -> n + 1; Nothing -> 0' then part of the output will be a procedure doing... that
maybefbi 2017-03-07 15:02:38
i dont think modern processors allow self modifying code, so im sure we cannot have thunks written in machine code
maybefbi 2017-03-07 15:03:00
so in some sense it has to be an interpreter if it reduces thunks into normal forms
maybefbi 2017-03-07 15:06:59
copy that
benzrf 2017-03-07 15:07:32
but the logic for allocating new thunks and so on could perfectly well be inlined into the compiled expressions
benzrf 2017-03-07 15:08:03
so even if that logic is in a fixed set of functions added to the compiled code, it doesn't precisely feel like "a runtime" to me - maybe i just don't have a good grasp of what the word means
maybefbi 2017-03-07 15:09:10
im trying to imagine how much work went into eta, the ghc compatible haskell for the jvm. i think they just implemented a STG shuffler but i could be wrong
benzrf 2017-03-07 15:10:16
o:
benzrf 2017-03-07 15:10:22
i think 'STG' actually refers to the thing i was describing where you have pointers to the reduction code
benzrf 2017-03-07 15:10:46
(again - i may very well be wrong)
maybefbi 2017-03-07 15:12:17
ok
Profpatsch 2017-03-07 15:12:17
Hm, what's with parsers drawing in attoparsec AND parsec?
Profpatsch 2017-03-07 15:12:19
That means trifecta always pulls in everything.
Profpatsch 2017-03-07 15:12:24
Also, lenses.
Profpatsch 2017-03-07 15:12:31
That's a lot of dependencies.
andrei 2017-03-07 15:12:34
Hi, I'd like to submit a package to Stackage but it has an external dependency. What's the way to do this?
andrei 2017-03-07 15:12:47
A non-haskell dependency, so tests will fail
