diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-08-08 17:55:51 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-08 17:55:51 -0400 |
commit | b9b67597324deb6e6dfc8ef33c60c110abc2af7b (patch) | |
tree | 2ff5f7417692c2590916a6eeb55aa38bbb47516f /src/corify.sml | |
parent | e2a9136ed7123cb8e5cac4a20cbce5467643ecd6 (diff) |
Specialization of single-parameter datatypes
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/corify.sml b/src/corify.sml index 1be29665..075939bf 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -538,7 +538,7 @@ structure St : sig 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) |