SCM Repository
Diff of /trunk/src/compiler/translate/translate-basis.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 188, Thu Jul 29 22:28:39 2010 UTC | revision 189, Fri Jul 30 19:37:01 2010 UTC | |
|---|---|---|
| # | Line 8 | Line 8 |
| 8 | ||
| 9 | structure TranslateBasis : sig | structure TranslateBasis : sig |
| 10 | ||
| 11 | (* translate(lhs, f, mvs, args) translates the application of f (specialized | |
| 12 | * to the instantiated meta variables mvs) to a list of SSA assignments in | |
| 13 | * reverse order. | |
| 14 | *) | |
| 15 | val translate : (HighIL.var * Var.var * Types.meta_var list * HighIL.var list) | val translate : (HighIL.var * Var.var * Types.meta_var list * HighIL.var list) |
| 16 | -> HighIL.assign list | -> HighIL.assign list |
| 17 |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
