summaryrefslogtreecommitdiff
path: root/compiler/ghci/RtClosureInspect.hs
Commit message (Collapse)AuthorAgeFilesLines
...
* trim Data.Sequence import, in preparation for expanding its APIRoss Paterson2009-08-241-1/+1
|
* RTS tidyup sweep, first phaseSimon Marlow2009-08-021-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The first phase of this tidyup is focussed on the header files, and in particular making sure we are exposinng publicly exactly what we need to, and no more. - Rts.h now includes everything that the RTS exposes publicly, rather than a random subset of it. - Most of the public header files have moved into subdirectories, and many of them have been renamed. But clients should not need to include any of the other headers directly, just #include the main public headers: Rts.h, HsFFI.h, RtsAPI.h. - All the headers needed for via-C compilation have moved into the stg subdirectory, which is self-contained. Most of the headers for the rest of the RTS APIs have moved into the rts subdirectory. - I left MachDeps.h where it is, because it is so widely used in Haskell code. - I left a deprecated stub for RtsFlags.h in place. The flag structures are now exposed by Rts.h. - Various internal APIs are no longer exposed by public header files. - Various bits of dead code and declarations have been removed - More gcc warnings are turned on, and the RTS code is more warning-clean. - More source files #include "PosixSource.h", and hence only use standard POSIX (1003.1c-1995) interfaces. There is a lot more tidying up still to do, this is just the first pass. I also intend to standardise the names for external RTS APIs (e.g use the rts_ prefix consistently), and declare the internal APIs as hidden for shared libraries.
* Make the Integer library used directly configurable in GHC and baseIan Lynagh2009-07-221-4/+7
| | | | Rather than indirecting through an integer package
* Trim unused imports detected by new unused-import codesimonpj@microsoft.com2009-07-061-3/+2
|
* Support for -fwarn-unused-do-bind and -fwarn-wrong-do-bind, as per #3263Max Bolingbroke2009-07-011-2/+2
|
* Fix the GHCi debugger so that it can recognise Integers againIan Lynagh2009-06-231-8/+5
|
* Changes for the new IO library, mainly base-package modules moving aroundSimon Marlow2009-05-291-1/+6
|
* Really fix Trac #2611 this timepepe iborra2009-04-191-10/+22
| | | | | My previous patch didn't completely solve the problem. I believe I got it right this time.
* Fix Trac #2611pepe iborra2009-04-181-15/+26
| | | | | Fix a bug in :print affecting data types with unboxed components
* add final newlinesSimon Marlow2009-03-051-1/+1
| | | | | My Windows build has started complaining about lacking final newlines, I'm not entirely sure why.
* Fix #3067: GHCi panics with 'initTc:LIE' while :stepping on code with funny ↵pepe iborra2009-03-031-2/+2
| | | | | | | | | | | types The problem is that calls to boxyUnify would panic if the types involved contained type functions. It looks like one should wrap these calls with getLIE, although I don't really know what I am doing here
* Clean up a bit and improve an error messagepepe2008-09-261-12/+10
|
* Fix a couple of issues with :printpepe2008-09-181-255/+542
| | | | | | | | | | | | - Ticket #1995: Unsoundness with newtypes - Ticket #2475: "Can't unify" error when stopped at an exception In addition this patch adds the following: - Unfailingness: RTTI cannot panic anymore. In case of failure, it recovers gracefully by returning the "I know nothing" type - A -ddump-rtti flag
* wibblepepe2008-04-181-1/+1
|
* Minor refactoring to get rid of Type.splitNewTyConAppsimonpj@microsoft.com2008-09-151-4/+4
|
* Minor refactoring in RtClosureInspectMax Bolingbroke2008-07-311-1/+1
|
* Rename maybeTyConSingleCon to tyConSingleDataCon_maybeMax Bolingbroke2008-07-311-2/+2
|
* Fix Haddock errors.Thomas Schilling2008-07-201-1/+1
|
* Remove an ifdefIan Lynagh2008-06-161-11/+11
|
* (F)SLIT -> (f)sLit in RtClosureInspectIan Lynagh2008-04-121-3/+3
|
* Fix #2044 (:printing impredicatively typed things)pepe2008-04-211-25/+25
| | | | Switching to boxyUnify should be enough to fix this.
* Remove GADT refinements, part 5Manuel M T Chakravarty2008-04-071-1/+1
| | | | | | - TcGadt RIP - The non-side effecting unification code is now in types/Unify.lhs along with the refinement code needed for GADT record selectors.
* Don't import FastString in HsVersions.hIan Lynagh2008-03-291-0/+1
| | | | Modules that need it import it themselves instead.
* fix unregisterised stage 2 buildSimon Marlow2008-02-191-0/+4
|
* Support for using libffi to implement FFI calls in GHCi (#631)Simon Marlow2008-02-041-4/+3
| | | | | | | | | | | | This means that an unregisterised build on a platform not directly supported by GHC can now have full FFI support using libffi. Also in this commit: - use PrimRep rather than CgRep to describe FFI args in the byte code generator. No functional changes, but PrimRep is more correct. - change TyCon.sizeofPrimRep to primRepSizeW, which is more useful
* Fix the buildIan Lynagh2008-01-241-1/+1
| | | | | Work around various problems caused by some of the monadification patches not being applied.
* Replace ioToTcRn with liftIOTwan van Laarhoven2008-01-171-3/+2
|
* Comments onlyPepe Iborra2007-12-081-40/+31
|
* Refactoring onlyPepe Iborra2007-12-081-21/+15
| | | | | | | Suspensions in the Term datatype used for RTTI always get assigned a Type, so there is no reason to juggle around with a (Maybe Type) anymore.
* Change the format used by :print to show the content of referencesPepe Iborra2007-12-081-1/+8
| | | | | | | This comes as result of the short discussion linked below. http://www.haskell.org/pipermail/cvs-ghc/2007-December/040049.html
* Teach :print to follow references (STRefs and IORefs)Pepe Iborra2007-12-041-25/+55
| | | | | | | | | | | | | | | Prelude Data.IORef> :p l l = (_t4::Maybe Integer) : (_t5::[Maybe Integer]) Prelude Data.IORef> p <- newIORef l Prelude Data.IORef> :p p p = GHC.IOBase.IORef (GHC.STRef.STRef {((_t6::Maybe Integer) : (_t7::[Maybe Integer]))}) Prelude Data.IORef> :sp p p = GHC.IOBase.IORef (GHC.STRef.STRef {(_ : _)}) I used braces to denote the contents of a reference. Perhaps there is a more appropriate notation?
* refactoring onlyPepe Iborra2007-12-021-8/+10
|
* wibblePepe Iborra2007-11-141-2/+2
|
* Try to manage the size of the text rendered for ':show bindings'Pepe Iborra2007-11-141-1/+1
|
* Make the Term ppr depth awarePepe Iborra2007-11-141-29/+31
|
* Use paragraph fill sep where possiblePepe Iborra2007-11-141-4/+4
|
* Fix Trac 1865: GHCi debugger crashes with :printPepe Iborra2007-11-131-7/+11
|
* Replaced two uses of head b explicit pattern matchingPepe Iborra2007-10-131-2/+2
|
* Following an indirection doesn't count as a RTTI stepPepe Iborra2007-09-281-1/+1
|
* fix :print when !tablesNextToCodeSimon Marlow2007-10-181-0/+8
|
* Finally, I managed to squash an infamous bug in :printPepe Iborra2007-09-271-20/+28
| | | | | | | | | | | | | | | | | | | | It turns out the newtype handling code in :print was slipping non mutable Tyvars in the types reconstructed. The error message eventually produced was rather obscure: [src/Tp.hs:75:28-64] *MainTp> :p x *** Exception: No match in record selector Var.tcTyVarDetails [src/Tp.hs:75:28-64] *MainTp> Due to non mutable tyvars, unifyType was failing. A well placed assertion in the unifyType code would have made my life much easier. Which reminds me I should install a -ddump-* system in the RTTI subsystem, or future hackers will run away in swearing. MERGE TO STABLE
* Better modelling of newtypes in the Term datatypePepe Iborra2007-09-121-45/+82
| | | | | | | This helps to get pretty printing right, nested newtypes were not being shown correctly by :print
* Refactoring & documenting the Term pprinter used by :printPepe Iborra2007-09-111-4/+26
|
* Custom printer for the Term datatype that won't output TypeRep valuesPepe Iborra2007-09-111-26/+4
| | | | | The term pretty printer used by :print shouldn't output the contents of TypeRep values, e.g. inside Dynamic values
* Custom printer for the Term datatype that won't output TypeRep valuesPepe Iborra2007-09-111-4/+26
| | | | | The term pretty printer used by :print shouldn't output the contents of TypeRep values, e.g. inside Dynamic values
* Fix assertions in RtClosureInspectIan Lynagh2007-09-071-2/+2
|
* warning policePepe Iborra2007-09-061-59/+75
|
* Fix CodingStyle#Warnings URLsIan Lynagh2007-09-041-1/+1
|
* Use OPTIONS rather than OPTIONS_GHC for pragmasIan Lynagh2007-09-031-2/+2
| | | | | | | Older GHCs can't parse OPTIONS_GHC. This also changes the URL referenced for the -w options from WorkingConventions#Warnings to CodingStyle#Warnings for the compiler modules.
* Add {-# OPTIONS_GHC -w #-} and some blurb to all compiler modulesIan Lynagh2007-09-011-0/+7
|
View Lorry Controller Status