search

yaxu / feedforward

GNU General Public License v3.0
129 stars 10 forks source link

Specify Data.Map.Map import, catch eventual exception on interpret #21

Closed ndr-brt closed 3 years ago

ndr-brt commented 3 years ago

Fix #20

I had to catch exception on interpret because, removing Data.Map from the imports causing a silent exception (not catched by typeCheck)

ndr-brt commented 3 years ago

Catching exception from interpret gives the same errors of doing typechecks prior to interpretation. So maybe we could leave this job directly to interpret

yaxu commented 3 years ago

Thanks!