diff options
author | Adam Chlipala <adam@chlipala.net> | 2018-12-16 16:45:37 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2018-12-16 16:45:37 -0500 |
commit | 7578916b630bd84ec3f8e7d97aaaa1cc7828e5ef (patch) | |
tree | 14b6f896dfa03bb4b60461974587d3efdad56e12 /src/compiler.sml | |
parent | da394cfc931139dbd3a688679dcbddf5ce2e846e (diff) |
Specialize: ignore recursive references in classifying polymorphic uses of datatypes
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 271cf2f1..e7de4d82 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -1390,8 +1390,9 @@ val toUnpoly2 = transform unpoly "unpoly2" o toShake4' val toSpecialize2 = transform specialize "specialize2" o toUnpoly2 val toShake4'' = transform shake "shake4'" o toSpecialize2 val toEspecialize3 = transform especialize "especialize3" o toShake4'' +val toSpecialize3 = transform specialize "specialize3" o toEspecialize3 -val toReduce2 = transform reduce "reduce2" o toEspecialize3 +val toReduce2 = transform reduce "reduce2" o toSpecialize3 val toShake5 = transform shake "shake5" o toReduce2 |