Memoirs of a PhD student

• Program Slicing From Chris_Brown in Memoirs of a PhD student (1231 days old)

  Now have slicing working over matches: consider: h :: Int -> (Int, Int) h y = result 2 where bob = 42 result x = res 3 res k = (23,24) bill = 24 h x = (x, x+1) this creates: h1 y = … more

• Welcome Back! From Chris_Brown in Memoirs of a PhD student (1237 days old)

  After a couple of months of being absent from my blog, I feel its a good time to start updating again. I also feel this is going to be a bit of a lengthy update. Quite a lot has happened in the last c… more

• GHC Typechecking From Chris_Brown in Memoirs of a PhD student (1318 days old)

  I have written a simple program using the GHC API, which outputs the following for a simple module... Fish.f [T] :: GHC.Num.Integer [] { lit_auR = fromInteger 1 fromInteger = GHC.Num.f… more

• GHC 6.5 From Chris_Brown in Memoirs of a PhD student (1319 days old)

  At last I have ghc 6.5 built, installed and working on my iBook. I finally got it to work by hacking it to bits so that ghc used its native assembler istead of the evil mangler and gcc. This means tha… more

• Update From Chris_Brown in Memoirs of a PhD student (1322 days old)

  I havn't updated my blog for a few days - so I thought an update is in order. Last week was a bit of a messy week research wise. I played around quite a bit with Template Haskell to discover that i… more

• TCS seminar and Template haskell From Chris_Brown in Memoirs of a PhD student (1328 days old)

  Yesterday I gave my TCS seminar. I think it went alright, I got a nice discussion going and managed to answer all the questions. Olaf gave me some constructive feedback about some of the slides. I thi… more

• strange ghc behaviour From Chris_Brown in Memoirs of a PhD student (1333 days old)

  I have been encountering some strange behaviour in ghc, but it now seems to be fixed thanks to Chris Ryder. Apparently, the latest GHC likes to use GCC 3.3, and I was using gcc 4.0. Bizzarre - but … more

• Bug corrected - and ideas to expand TI API. From Chris_Brown in Memoirs of a PhD student (1335 days old)

  Fixed the problem with the type checker adding in the extra parameter to functions that do not return Ints. I should put these in the tped API together with a collection of useful functions that would… more

• more bugs fixed and strange behaviour. From Chris_Brown in Memoirs of a PhD student (1335 days old)

  I have corrected the problem I had last night, and now the refactoring will always try and place the pattern in the case expression. I think this is more suitable. Also this is strange and I can't wor… more

• Refactoring with type information From Chris_Brown in Memoirs of a PhD student (1335 days old)

  I have just finished the first version of my refactoring which uses type information to check which functions need pattern binding. This means you can have the declaration: f :: New -> Int f x = 4… more

• Refactoring now works with typed AST. (Bugs fixed). From Chris_Brown in Memoirs of a PhD student (1336 days old)

  This morning has been a very productive few hours. I consulted with Huiqing about why addDecl was putting the [ ] in, and it turns out it was because the pretty printer did not know how to print a lis… more

• TI API From Chris_Brown in Memoirs of a PhD student (1339 days old)

  Thte last 2 days has been very hectic. Yesterday I came to port my add constructor refactorinng over to use the TI AST instead, and then realised (with horror) that the API only worked over the normal… more

• An API over the TI? From Chris_Brown in Memoirs of a PhD student (1341 days old)

  I spent most of yesterday playing around with the TI AST. Manily getting my head around some of the subtle differences it has with the normal AST. There is not huge amounts of difference... In gene… more

• DrIFT now works over TI From Chris_Brown in Memoirs of a PhD student (1343 days old)

  I have had a productive couple of days. Firstly I checked the first version of my refactoring, but more importantly I got DrIFT to work. Well, when I say I got it to work - I manually created the inst… more

• quickCheck' -- by induction? From Chris_Brown in Memoirs of a PhD student (1346 days old)

  Last night on the train I had a very productive few hours of work. I managed to implement support for records, and infix contructors, learning lots about the Haskell type system and Programatica's typ… more

• Infix and Records From Chris_Brown in Memoirs of a PhD student (1348 days old)

  I was in the process of testing my refactoring today and I came to a few conclusions: I still need to implement cases for parsing infix contructors and also constructors which use records. Also … more

• Progress on my refactoring From Chris_Brown in Memoirs of a PhD student (1350 days old)

  I have just made 2 new changes to my refactoring. Now the user selects the constructor and the refactoring places the new constructor AFTER the selectded constructor. The refactoring places a space… more

• Web pages, darcs and refactorings. From Chris_Brown in Memoirs of a PhD student (1352 days old)

  Today I have set up a darcs repository for HaRe. This means you can use darcs to get the repository from the Internet: darcs get http://www.cs.kent.ac.uk/projects/refactor-fp/release I have al… more

• Welcome to my Blog! From Chris_Brown in Memoirs of a PhD student (1469 days old)

  After seeing a blog created by Malcome Wallace - I thought it would be a good idea to set up my own. After all - they seem to be the new fashion. This blog will be used as my own personal diary of my … more

|