1. 08 Dec, 2007 1 commit
  2. 04 Dec, 2007 1 commit
    • mnislaih's avatar
      Teach :print to follow references (STRefs and IORefs) · f4d6209d
      mnislaih authored
      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?
      f4d6209d
  3. 02 Dec, 2007 1 commit
  4. 14 Nov, 2007 1 commit
  5. 13 Nov, 2007 1 commit
  6. 12 Sep, 2007 2 commits
  7. 11 Sep, 2007 3 commits
  8. 06 Sep, 2007 1 commit
  9. 04 Sep, 2007 1 commit
  10. 03 Sep, 2007 1 commit
  11. 01 Sep, 2007 1 commit
  12. 29 Aug, 2007 1 commit
  13. 26 Aug, 2007 2 commits
  14. 14 Jul, 2007 1 commit
    • mnislaih's avatar
      Automatic RTTI for ghci bindings · 01249617
      mnislaih authored
      With this patch, ghci runs rtti (bounded in the term treewith a max. depth of 10)
      automatically after evaluating any expression in the interactive env.
      In addition, a rtti step is performed on the local bindings in a breakpoint,
      before returning control to the user
      
      Let's see how well this works in practice
      01249617
  15. 12 Jul, 2007 1 commit
    • mnislaih's avatar
      Teach :print to not panic when the DataCon for a closure is not exposed by the .hi file · 876db7ed
      mnislaih authored
      Previously the behaviour was to panic.
      Now it will print an approximated representation, 
      using the names (enclosed in keys, i.e. "<...>") 
      and the pointed subterms. Non pointed subterms cannot 
      be included in this representation:
      
      Prelude> let se = Data.Sequence.fromList (map Just "abc")
      Prelude> :eval se
      ()
      Prelude> :p se
      se = <Data.Sequence.Deep> (<Data.Sequence.One> (_t1::t)) () (<Data.Sequence.Two> (_t2::t) (_t3::t))
      Prelude> :eval _t2
      ()
      Prelude> :p se
      se = <Data.Sequence.Deep> (<Data.Sequence.One> (_t4::t1)) () (<Data.Sequence.Two> (Just 'b') (_t5::t1))
      Prelude>
      
      This patch also includes some fixes in the pretty printer 
      for the Term datatype
      
      876db7ed
  16. 11 Jul, 2007 1 commit
  17. 23 May, 2007 1 commit
  18. 11 May, 2007 1 commit
  19. 09 May, 2007 2 commits
  20. 03 May, 2007 1 commit
  21. 02 May, 2007 1 commit
    • Simon Marlow's avatar
      Refactoring, tidyup and improve layering · 86bec429
      Simon Marlow authored
      The stack of breakpoint resume contexts is now part of the
      InteractiveContext and managed by the GHC API.  This prevents misuse
      of the resume context by the client (e.g. resuming a breakpoint that
      isn't the topmost, which would lead to a confused IC at the least).
      
      I changed the TypeEnv in the IC to a [Id].  It only contained Ids
      anyway, and this allows us to have shadowing, which removes an ugly
      and annoying restriction.
      
      The parts of the GHC API which deal with interactive evaluation are
      now in a module of their own, InteractiveEval.
      86bec429
  22. 01 May, 2007 1 commit
  23. 30 Apr, 2007 2 commits
  24. 26 Apr, 2007 1 commit
    • Simon Marlow's avatar
      Give a better error message when we try to print a value of unknown type · 97351f5d
      Simon Marlow authored
        
        Stopped at ../Test3.hs:(1,0)-(2,30)
        _result :: [a]
        [../Test3.hs:(1,0)-(2,30)] *Main> _result
        
        <interactive>:1:0:
            Ambiguous type variable `a' in the constraint:
              `Show a' arising from a use of `print' at <interactive>:1:0-6
            Cannot resolve unkonwn runtime types: a
            Use :print or :force to determine these types
      97351f5d
  25. 25 Apr, 2007 4 commits
  26. 24 Apr, 2007 4 commits
  27. 20 Apr, 2007 1 commit
  28. 14 Apr, 2007 1 commit