Skip to content


Subversion checkout URL

You can clone with
Download ZIP

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also compare across forks.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also compare across forks.
Commits on Jul 05, 2006
@amiddelk amiddelk Creating my own branch from trunk r372 to put the changes I made in. f65704e
Commits on Jul 07, 2006
@amiddelk amiddelk Incorporated all my changes into my branch. 23380b7
Commits on Jul 11, 2006
@amiddelk amiddelk Merged trunk r376. Updated uniqueness-branch. c9217ba
Commits on Jul 14, 2006
@amiddelk amiddelk X-forwarding proved to be unstable today. Commit to work locally at h…
…ome, and to make sure that I don't have data loss if something goes wrong with maintenance on the lab homedir-server later this day.
@amiddelk amiddelk Some work on an example. in one of the earlier chapters of my master
thesis. Sorry for the spam, just had to commit, so that I can check out
the changes at my pc at home.
Commits on Jul 16, 2006
@amiddelk amiddelk Implementation of uniqueness in combination with pattern matching too…
… conservative, and in some cases also incorrect. Replaced this part with a less ad-hoc approach. It does not totally work yet (have the impression I forget a constraint set), and have to look into that later. A side consequence is that I now know how the difference between refutable and irrefutable patterns influence uniqueness typing, or in general: how strictness influences uniqueness typing.
Commits on Jul 18, 2006
@amiddelk amiddelk Work on my master thesis. I explain the uniqueness type system for a
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 
Commits on Jul 19, 2006
@amiddelk amiddelk Rewrote the first part of the chapter describing a simplified uniqueness
type system. The chapter consists now mainly of a large example.
Commits on Jul 21, 2006
@amiddelk amiddelk Work on my master-thesis. Commit to transfer files to my laptop, so that
I can work a (tiny?) bit during my two-week vacation.
Commits on Aug 05, 2006
@amiddelk amiddelk Committed changes made during my vacation. b8234a9
Commits on Aug 08, 2006
@amiddelk amiddelk Factored out a story about the influence of recursion on uniqueness t…
…yping. The story became big enough to deserve a topic for itself.
Commits on Aug 09, 2006
@amiddelk amiddelk Some improvement of some chapters. cb1ae66
Commits on Aug 11, 2006
@amiddelk amiddelk The chapter about the effects of polymorphism on uniqueness typing 'f…
Commits on Aug 15, 2006
@amiddelk amiddelk Finished the chapter about data types.
Now I just have to complete one chapter about some results that where needed in the data type chapter, and then I have the main chapters finished. (aside from fixing spelling, sentences, examples, references, and citations...)
Commits on Aug 16, 2006
@amiddelk amiddelk Commited the last "real" chapter of my thesis. The remainder is just …
…the usual blabla (optional chapters/conclusion/related work/future work) and the required patch work.
Commits on Aug 20, 2006
@amiddelk amiddelk Wrote the conclusion for my mater-thesis. I now roughly have my maste…
…r-thesis ready, but will need a few weeks to correct it (pictures, citations, layout), let other people read it, revise sections, etc.
Commits on Aug 21, 2006
@amiddelk amiddelk Fixed references and citations in my thesis. 1f4d9de
Commits on Aug 22, 2006
@amiddelk amiddelk Made citations more uniform, among some other changes on my master th…
Commits on Aug 27, 2006
@amiddelk amiddelk Revised the introduction of my thesis. Tried(*) to make the chapter t…
…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...
Commits on Aug 29, 2006
@amiddelk amiddelk Extracted the description about multiple execution paths in combinati…
…on with uniqueness typing to a separate chapter. Fixed the contents of

this chapter such that it is consistent with the first three chapters.
Commits on Aug 30, 2006
@amiddelk amiddelk large rewrite of Chapter 7. b54bc38
Commits on Aug 31, 2006
@amiddelk amiddelk Made Chapter 4 consistent with changes on Chapter 3 that I made last …
…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.
@amiddelk amiddelk Changed the introduction and prerequisites chapter based on comments …
…of Stefan.
Commits on Sep 01, 2006
@amiddelk amiddelk Processed first halve of Jurrian's comments on Chapter 3 of my master…
…'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.
Commits on Sep 04, 2006
@amiddelk amiddelk Processed Jurriaan's comments on Chapter 3 and 4 of my master's thesis. 075a843
@amiddelk amiddelk Updated the later chapters of my master's thesis due to changes in ch…
…apters 3-4 (chapters 9-12, conclusion)
@amiddelk amiddelk Updated Chapter 7, halfway updating Chapter 8, remainder of Chapter 8…
… tomorrow.
Commits on Sep 05, 2006
@amiddelk amiddelk Some minor fixes in Chapter 3 (spelling issues, some errors in the code
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.
@amiddelk amiddelk Chapters 1-4,7-12 should be consistent with each other now.
Chapters 5,6 need updating (only cosmetical)
Commits on Sep 07, 2006
@amiddelk amiddelk Updated the chapters of my master's thesis, such that they should now…
… be consistent with each other.

All chapters of my master's thesis are now ready for review/comments/etc.
Commits on Sep 12, 2006
@amiddelk amiddelk The beginning of my presentation about uniqueness 591e4b3
Commits on Sep 14, 2006
@amiddelk amiddelk Incorporated all outstanding changes into the main uniqueness branch. e6f27ea
Commits on Sep 19, 2006
@amiddelk amiddelk Fixed a lot of editing errors. Processed Jurriaans comments of the la…
…ter chapters of my master's thesis.
Commits on Sep 23, 2006
@amiddelk amiddelk First draft of my presentation for thursday, 28 Sept 2006. 7824de3
Commits on Sep 27, 2006
@amiddelk amiddelk Final version of slides uniqueness typing. be65ceb
Commits on Sep 28, 2006
@amiddelk amiddelk Couldn't resist adding a last illustration (that was hiding somewhere…
… on my harddisk these last weeks) to my master's thesis.
Commits on Oct 04, 2006
@amiddelk amiddelk Removed an incompatibility with GHC 6.4.1 (which did not cause proble…
…ms in GHC 6.4.2 or the experimental GHC 6.5) that Stefan Holdermans detected.
Commits on Oct 20, 2006
@amiddelk amiddelk Updated the uniqueness branch to support GHC 6.6. Preparations to upd…
…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).
Commits on Oct 24, 2006
@amiddelk amiddelk Merged trunk (r474) to uniqueness branch. Uniqueness branch is now up…
… to date with respect to the current trunk.
@amiddelk amiddelk Separated my own and Atze his bibtex file, and changed the build scri…
…pt to merge

them together because I use some references from Atze his file (shouldn't that be a task of shuffle ;)
Commits on Nov 14, 2006
@amiddelk amiddelk Now a lot of people have merged their changed in the trunk, it is fin…
…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).