…ally my turn to merge my old branch to the trunk. This commit updates the files in the brank to the latest changes of the trunk (which caused a few conflicts in module imports/exports).
…pt to merge them together because I use some references from Atze his file (shouldn't that be a task of shuffle ;)
… to date with respect to the current trunk.
…ate the branch to the current state of the trunk (so that I can merge my changes to the trunk later, or at least to ensure that it is in sync with the trunk so that my changes are not thrown away).
…ms in GHC 6.4.2 or the experimental GHC 6.5) that Stefan Holdermans detected.
… on my harddisk these last weeks) to my master's thesis.
…ter chapters of my master's thesis.
… be consistent with each other. All chapters of my master's thesis are now ready for review/comments/etc.
Chapters 5,6 need updating (only cosmetical)
examples, and a wrongly described ordering). Most important change is that I now make an explicit difference between typing rules that can only be used if all functions are first-order, and slightly more complicated type rules when functions can be higher-order. This requires constraint sets to be passed around the abstract syntax tree instead of being computed bottom up.
…apters 3-4 (chapters 9-12, conclusion)
…'s thesis. Second part tomorrow. Useless commit just to move updates from st-lab to my home computer. And to waste the time of people that are actually reading commit messages.
…weekend. Proved to be a lot of work. I'm not entirely satisfied with the later sections of this chapter, so that is probably a point where I should look at.
…on with uniqueness typing to a separate chapter. Fixed the contents of this chapter such that it is consistent with the first three chapters.
…hat presents an overview of my approach more accessible. (*) Tried, because I suddenly saw how I, with a few alterations, can type both uniqueness and strictness. The result is that the chapter is doubled in size and probably four times as bad to read...
…r-thesis ready, but will need a few weeks to correct it (pictures, citations, layout), let other people read it, revise sections, etc.
…the usual blabla (optional chapters/conclusion/related work/future work) and the required patch work.
…yping. The story became big enough to deserve a topic for itself.
I can work a (tiny?) bit during my two-week vacation.
type system. The chapter consists now mainly of a large example.
severely restricted language, but still I think the description is too complicated. I have some ideas for this, but have to think about it a bit.