search

quangis / transforge

Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
GNU General Public License v3.0
2 stars 0 forks source link

Could not satisfy subtype `Top` <= `Top` #107

Closed nsbgn closed 2 years ago

nsbgn commented 2 years ago

The error "Could not satisfy subtype Top <= Top" often comes up while running https://github.com/quangis/quangis-workflow-generator. See also commit https://github.com/quangis/transformation-algebra/commit/8d2135e84d1504311787590df34ff8f73f2b4ab5.