Consolidate abstractions and applications

esl / ice

Apache License 2.0

2 stars 4 forks source link

Consolidate abstractions and applications #37

Closed lucafavatella closed 10 years ago

lucafavatella commented 10 years ago

Main changes:

Frozen dimensions are considered expressions and therefore tranformed
Base and value abstractions take multiple arguments

lucafavatella commented 10 years ago

Ed, This is not the most exciting pull request but I would prefer these changes to be discussed and go in master before submitting the (bigger) pull request with support for functions.

lucafavatella commented 10 years ago

Ed, I updated the pull request following your review - both base and value abstractions take multiple arguments (even if, in the semantics paper, value abstractions take only one argument).