Mercurial > urweb

diff src/corify.sml @ 193:8a70e2919e86

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Specialization of single-parameter datatypes
author Adam Chlipala <adamc@hcoop.net>
date Fri, 08 Aug 2008 17:55:51 -0400
parents 9bbf4d383381
children df5fd8f6913a
line wrap: on
line diff
--- a/src/corify.sml	Fri Aug 08 10:59:06 2008 -0400
+++ b/src/corify.sml	Fri Aug 08 17:55:51 2008 -0400
@@ -538,7 +538,7 @@
              val k = (L'.KType, loc)
              val dcons = map (fn (x, n, to) =>
                                  let
-                                     val args = ListUtil.mapi (fn (i, _) => (L'.CRel n, loc)) xs
+                                     val args = ListUtil.mapi (fn (i, _) => (L'.CRel i, loc)) xs
                                      val (e, t) =
                                          case to of
                                              NONE => ((L'.ECon (dk, L'.PConVar n, args, NONE), loc), t)