Mike Sperber
9d1c9672d9
Add `property' contract for QuickCheck properties to DeinProgramm languages
...
... and don't export the old property "combinator" to the language levels.
svn: r16770
2009-11-14 14:28:31 +00:00
Mike Sperber
3c68ac4a0c
Add `contract' contract to DeinProgramm / DMdA languages.
...
While we're at it, improve source-location reporting for application
contracts.
svn: r16769
2009-11-14 14:17:06 +00:00
Mike Sperber
800a2302a8
Fix two buguettes in the DMdA language grammar.
...
svn: r16366
2009-10-19 14:49:47 +00:00
Mike Sperber
aa2e094311
Add check-member-of' and check-range' to the DeinProgramm/DMdA
...
languages.
svn: r16337
2009-10-16 11:53:04 +00:00
Mike Sperber
d92c77adf2
Typo fix.
...
svn: r16244
2009-10-05 09:01:38 +00:00
Mike Sperber
650cd264b3
Brush up the (commented-out) documentation of `require' for the DMdA
...
languages.
svn: r16002
2009-09-14 14:42:52 +00:00
Mike Sperber
332fdb8602
Export contract' from the DMdA languages, making define-contract' obsolete.
...
svn: r15934
2009-09-09 15:00:54 +00:00
Mike Sperber
89ec442c04
Merge branches/mike/quickcheck:
...
Add QuickCheck-based property testing to the DeinProgramm/DMdA languages.
svn: r15901
2009-09-07 16:31:18 +00:00
Eli Barzilay
4288c6c2c7
The Scribble reader was improved to make it pull out the syntax
...
punctuations outside of the form, as it does with quote punctuations.
So things like this
#, @foo{...}
that required the space to make the @foo read as a scribble form are
now better written as
@#,foo{...}
This changes all such occurrences. (In case you see this change in
your files and are worried that there might be changes: I mechanically
verified that the result of `read'ing the modified files is identical
to the previous version.)
svn: r15111
2009-06-07 10:12:32 +00:00
Mike Sperber
018521cbc3
Merge from mike/dmda branch.
...
This adds the language levels, teachpacks, and documentation for the
textbook "Die Macht der Abstraktion".
svn: r14019
2009-03-09 07:51:09 +00:00
