Mercurial > urweb

comparison src/corify.sml @ 398:ab3177746c78

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple listShop working
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 13:24:54 -0400
parents 78358e5df273
children 82067ea6e723
comparison
equal deleted inserted replaced
397:4d519baf357c 398:ab3177746c78
694 ([(L'.DValRec vis, loc)], st) 694 ([(L'.DValRec vis, loc)], st)
695 end 695 end
696 | L.DSgn _ => ([], st) 696 | L.DSgn _ => ([], st)
697 697
698 | L.DStr (x, n, _, (L.StrFun (xa, na, _, _, str), _)) => 698 | L.DStr (x, n, _, (L.StrFun (xa, na, _, _, str), _)) =>
699 ([], St.bindFunctor st mods x n xa na str) 699 ([], St.bindFunctor st (x :: mods) x n xa na str)
700 700
701 | L.DStr (x, n, _, (L.StrProj (str, x'), _)) => 701 | L.DStr (x, n, _, (L.StrProj (str, x'), _)) =>
702 let 702 let
703 val (ds, {inner, outer}) = corifyStr mods (str, st) 703 val (ds, {inner, outer}) = corifyStr mods (str, st)
704 704