search

singnet / ai-dsl

Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.
MIT License
70 stars 18 forks source link

Implement RealizedFunction with structured attributes #6

Closed ngeiswei closed 3 years ago

ngeiswei commented 3 years ago

It fails with error msg:

- + Errors (1)
 `-- RealizedFunction.idr line 27 col 2:
     While processing right hand side of compose. When unifying prim__add_Double (.financial (.costs f_attrs)) (.financial (.costs g_attrs)) and prim__add_Double (.financial (.costs g_attrs)) (.financial (.costs f_attrs)).
     Mismatch between: g_attrs and f_attrs.

     RealizedFunction.idr:27:3--27:69
         |
      27 |   MkRealizedFunction (f . g) (add_costs_min_quality f_attrs g_attrs)
         |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

but I'm merging it now to have more eyes on it.