Mercurial > urweb
comparison src/elaborate.sig @ 1723:5ecf67553da8
-unifyMore
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 22 Apr 2012 09:08:45 -0400 |
parents | 7efcf8f4a44a |
children | 4a03aa3251cb |
comparison
equal
deleted
inserted
replaced
1722:f7d9dc5d57eb | 1723:5ecf67553da8 |
---|---|
1 (* Copyright (c) 2008, Adam Chlipala | 1 (* Copyright (c) 2008, 2012, Adam Chlipala |
2 * All rights reserved. | 2 * All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions are met: | 5 * modification, are permitted provided that the following conditions are met: |
6 * | 6 * |
34 | 34 |
35 val dumpTypes : bool ref | 35 val dumpTypes : bool ref |
36 (* After elaboration (successful or failed), should I output a mapping from | 36 (* After elaboration (successful or failed), should I output a mapping from |
37 * all identifiers to their kinds/types? *) | 37 * all identifiers to their kinds/types? *) |
38 | 38 |
39 val unifyMore : bool ref | |
40 (* Run all phases of type inference, even if an error is detected by an | |
41 * early phase. *) | |
42 | |
39 end | 43 end |