summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Whitespace only in utils/GraphColor.hsIan Lynagh2012-02-261-286/+281
|
* Change -X flags into LANGUAGE pragmasIan Lynagh2012-02-265-10/+14
|
* Fix warnings in utils/GraphOps.hsIan Lynagh2012-02-261-7/+31
|
* Whitespace only in utils/GraphOps.hsIan Lynagh2012-02-261-433/+432
|
* Implement "value" imports with the CAPIIan Lynagh2012-02-2615-31/+88
| | | | | | This allows us to import values (i.e. non-functions) with the CAPI. This means we can access values even if (on some or all platforms) they are simple #defines.
* Fix parsing of FFI import declsIan Lynagh2012-02-251-3/+11
| | | | We no longer parse "staticfoo" as "static foo".
* Abstract out the hFlush calls in the GHC APIIan Lynagh2012-02-245-10/+28
| | | | | | stdout/stderr might be closed, so we can't just hFlush them. So we instead allow configuration in the same way that log_action is configurable.
* Add x86 implementations of the quotRem, Mul2 and Add2 primopsIan Lynagh2012-02-241-2/+59
|
* Fix generic 2-word-multiplyIan Lynagh2012-02-241-3/+3
|
* Implement 2-word-multiply for x86_64Ian Lynagh2012-02-243-0/+19
|
* Add a 2-word-multiply operatorIan Lynagh2012-02-248-1/+59
| | | | Currently no NCGs support it
* Add x86_64 support for the add-with-carry opIan Lynagh2012-02-231-0/+13
|
* Add a Word add-with-carry primopIan Lynagh2012-02-2316-79/+123
| | | | No special-casing in any NCGs yet
* Call expandCallishMachOp in the x86_64 codegen tooIan Lynagh2012-02-231-0/+4
| | | | | Currently it does nothing, as x86_64 supports all the callishMachOps that expandCallishMachOp expands, but it might be needed in the future.
* Update dependenciesIan Lynagh2012-02-221-1/+1
|
* Update dependenciesIan Lynagh2012-02-223-3/+3
|
* Simplified serialization of IfaceTyCon, againMax Bolingbroke2012-02-226-232/+39
| | | | | | Jose's patch implementing kind-polymorphic core (09015be8d580bc33f5f1960c8e31d00ba7a459a1) reverted many of the simplifying changes to interface file TyCon serialization I had made in a previous patch (5d7173f9ab8405511f75765e0541a04796d9bd07). Based on the diff I think this was an unintended consequence of how Jose did the merge rather than a real change he intended to make. In fact, as a result of kind-polymorphic core we don't need to treat the Any TyCon specially any longer so my old simplifying changes can be made even simpler: IfaceTyCon is now just a newtype on IfaceExtName.
* Fix validating with HADDOCK_DOCS=YESIan Lynagh2012-02-221-8/+9
|
* Remove support for CTYPE pragmas on type synonymsIan Lynagh2012-02-2214-46/+29
| | | | | | It's not clear whether it's desirable or not, and it turns out that the way we use coercions in GHC means we tend to lose information about type synonyms.
* Add a hack to make validating with HADDOCK_DOCS=NO workIan Lynagh2012-02-212-4/+17
| | | | | | I've also renamed the bindisttest install directory to contain multiple spaces, so we are also testing that multiple spaces aren't getting collapsed into a single space.
* Be stricter about abstract newtypes in FFI declarations again.Ian Lynagh2012-02-211-14/+5
| | | | This reverts the relaxation in c6b0fd62fc715aa6c666eb8afe09073ac7b87a83
* Show the CType in --show-iface outputIan Lynagh2012-02-212-4/+19
|
* GHC trees no longer include the extensible-exceptions packageIan Lynagh2012-02-213-5/+2
|
* Add a primop for unsigned quotRem; part of #5598Ian Lynagh2012-02-179-15/+44
| | | | Only amd64 has an efficient implementation currently.
* Small refactorIan Lynagh2012-02-171-87/+92
| | | | Moved the default case of genCCall64 out into a separate function
* Small refactoring: Use (Maybe Header) rather than FastStringIan Lynagh2012-02-176-30/+40
|
* Add some docs for the CAPI extensionIan Lynagh2012-02-171-0/+35
|
* Allow a header to be specified in a CTYPE pragmaIan Lynagh2012-02-174-30/+46
| | | | | | | | | | | | | | | | | You can now say data {-# CTYPE "some_header.h" "the C type" #-} Foo = ... I think it's rare that this will actually be needed. If the header for a CAPI FFI import includes a void f(ctype x); prototype then ctype must already be defined. However, if the header only has #define f(p) p->j then the type need not be defined. But either way, it seems good practice for us to specify the header that we need.
* Now I understand why Constraint is a sub-kind of ArgKind!Simon Peyton Jones2012-02-171-2/+3
|
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-02-1723-467/+557
|\
| * Remove unused ghciHandleGhcExceptionIan Lynagh2012-02-161-5/+0
| |
| * Fix parsing regression in CTYPE patchIan Lynagh2012-02-161-3/+6
| |
| * Fix the build with GHC < 7.4.1Ian Lynagh2012-02-161-1/+4
| |
| * Merge branch 'master' of http://darcs.haskell.org/ghcIan Lynagh2012-02-1638-862/+711
| |\ | | | | | | | | | | | | Conflicts: compiler/types/TyCon.lhs
| * | Add FunPtr to the types that toCType knows aboutIan Lynagh2012-02-161-3/+4
| | |
| * | Add CType informatino to wired-in typesIan Lynagh2012-02-161-15/+18
| | |
| * | Implement the CTYPE pragma; part of the CApiFFI extensionIan Lynagh2012-02-1621-72/+164
| | | | | | | | | | | | | | | | | | | | | For now, the syntax is type {-# CTYPE "some C type" #-} Foo = ... newtype {-# CTYPE "some C type" #-} Foo = ... data {-# CTYPE "some C type" #-} Foo = ...
| * | Whitespace only in types/TyCon.lhsIan Lynagh2012-02-161-372/+365
| | |
* | | Wibble to sub-kindingSimon Peyton Jones2012-02-172-2/+2
| | |
* | | Fix a missing defaultKind that resulted in lingering ArgKindsSimon Peyton Jones2012-02-171-4/+3
| | |
* | | Fix a nasty bug in the canonicaliser which was failingSimon Peyton Jones2012-02-171-8/+5
| | | | | | | | | | | | | | | to emit kind constraints when decomposing an application. Resulting code is actually shorter!
* | | More simplification of the sub-kinding storySimon Peyton Jones2012-02-179-200/+149
| | |
* | | Implement a typing rule for saturated seq, and document itSimon Peyton Jones2012-02-172-9/+44
| | | | | | | | | | | | | | | | | | | | | Also add notes about unsafeCoerce The general thread here is to reduce use of ArgKind after the type checker; it is so fragile!
* | | Substantially nicer code in record updatesSimon Peyton Jones2012-02-171-20/+19
| | |
* | | Make the specialiser understand about polymorphic kindsSimon Peyton Jones2012-02-171-9/+14
| | |
* | | Define TypeVar (like KindVar), isTypeVar, isKindVar, and use themSimon Peyton Jones2012-02-172-16/+37
| | | | | | | | | | | | This is the start of more global renaming
* | | Move sortQuantVars to MkCoreSimon Peyton Jones2012-02-173-19/+35
| | |
* | | Kill dead codeSimon Peyton Jones2012-02-171-13/+3
| |/ |/|
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-02-163-4/+4
|\ \ | |/
| * add ticket number to commentSimon Marlow2012-02-161-1/+1
| |
View Lorry Controller Status