log
graph
tags
bookmarks
branches
changeset
browse
file
latest
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
annotate tests/conargs.ur @ 1574:644558d9c756
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Extend and document 'con' syntax with arguments
author
Adam Chlipala <adam@chlipala.net>
date
Sat, 15 Oct 2011 10:05:13 -0400
parents
children
rev
line source
adam@1574
1
con func a b = a -> b
adam@1574
2
adam@1574
3
signature S = sig
adam@1574
4
con funcy a b = a -> b
adam@1574
5
end
adam@1574
6
adam@1574
7
structure M : S = struct
adam@1574
8
con funcy = func
adam@1574
9
end