#2338: unpack primitive types by default in data? and NOUNPACK?
---------------------------------+------------------------------------------
Reporter: Isaac Dupree | Owner:
Type: feature request | Status: new
Priority: low | Milestone: 7.4.1
Component: Compiler | Version: 6.8.2
Keywords: | Testcase:
Blockedby: | Difficulty: Unknown
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by simonmar):
One open question I see is what is considered to be a "primitive type"?
My first guess would be "a type which would UNPACK to a single field of
unboxed type". That would encompass basic types like `Int`, newtypes of
those, and multiple layers of UNPACKing too (e.g. a field of type `T`
would be automatically unpacked if `data T = T !Int`). But do you want to
include types that unpack to more than one unboxed field? How many?
I'd be sceptical about relying on nofib as a good benchmark here, I don't
think the programs in there tend to define many datatypes. Look at fibon
too, probably.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2338#comment:13>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
