Mercurial > urweb

comparison src/urweb.grm @ 329:eec65c11d3e2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
foldTR2
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 10:30:45 -0400
parents e457d8972ff1
children e976b187d73a
comparison
equal deleted inserted replaced
328:58f1260f293f 329:eec65c11d3e2
541 val loc = s (SYMBOLleft, kindright) 541 val loc = s (SYMBOLleft, kindright)
542 in 542 in
543 ((CAbs (SYMBOL, SOME kind, c), loc), 543 ((CAbs (SYMBOL, SOME kind, c), loc),
544 (KArrow (kind, k), loc)) 544 (KArrow (kind, k), loc))
545 end) 545 end)
546 | UNDER DCOLON kind (fn (c, k) =>
547 let
548 val loc = s (UNDERleft, kindright)
549 in
550 ((CAbs ("_", SOME kind, c), loc),
551 (KArrow (kind, k), loc))
552 end)
546 | cargp (cargp) 553 | cargp (cargp)
547 554
548 cargp : SYMBOL (fn (c, k) => 555 cargp : SYMBOL (fn (c, k) =>
549 let 556 let
550 val loc = s (SYMBOLleft, SYMBOLright) 557 val loc = s (SYMBOLleft, SYMBOLright)
551 in 558 in
552 ((CAbs (SYMBOL, NONE, c), loc), 559 ((CAbs (SYMBOL, NONE, c), loc),
560 (KArrow ((KWild, loc), k), loc))
561 end)
562 | UNDER (fn (c, k) =>
563 let
564 val loc = s (UNDERleft, UNDERright)
565 in
566 ((CAbs ("_", NONE, c), loc),
553 (KArrow ((KWild, loc), k), loc)) 567 (KArrow ((KWild, loc), k), loc))
554 end) 568 end)
555 | LPAREN SYMBOL DCOLON kind RPAREN (fn (c, k) => 569 | LPAREN SYMBOL DCOLON kind RPAREN (fn (c, k) =>
556 let 570 let
557 val loc = s (LPARENleft, RPARENright) 571 val loc = s (LPARENleft, RPARENright)