Recursive rho-types not yet supported

eloutato / decac

Automatically exported from code.google.com/p/decac

GNU General Public License v3.0

0 stars 0 forks source link

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago

Mu types are supported by the type calculus underlying Deca, but not yet by 
decac itself.

Original issue reported on code.google.com by eligottlieb@gmail.com on 26 Oct 2010 at 12:16

GoogleCodeExporter commented 8 years ago

Added recursive-rho types to TypeExpression.scala.

Original comment by eligottlieb@gmail.com on 3 Jan 2011 at 7:00