search

gsdlab / clafer

Clafer is a lightweight modeling language
http://clafer.org
MIT License
45 stars 13 forks source link

I236 #22

Closed Luke-Michael-Brown closed 11 years ago

Luke-Michael-Brown commented 11 years ago

Just changed how the claferArgs are handled, use to be all Maybe values when were not needed. It's called i236 since it goes along with the i236 claferIG branch https://github.com/gsdlab/claferIG/pull/5. see https://github.com/gsdlab/clafer/commit/1b72d6fc0453c37c68cc25edb09567572dfdb68a, the other commit has already been merged from i92.

mantkiew commented 11 years ago

Works great. Tested with the corresponding IG branch i236, which was already merged into develop. Need to merge this one in asap.