Improve gitignore, simplify list.sml standard basis somewhat

rowandavies / sml-cidre

SML Checker for Intersection and Datasort Refinements (pronounced "cider")

http://www.cs.cmu.edu/~rowan/sorts.html

Other

20 stars 2 forks source link

Improve gitignore, simplify list.sml standard basis somewhat #6

Closed robsimmons closed 12 years ago

robsimmons commented 12 years ago

I guess the LIST signature wasn't really being used anywhere and had the potential to get in the way.

robsimmons commented 12 years ago

I changed Array to fix the places it was breaking ArraySequence in CMlib, but it seemed like there were other places it diverged from the basis definition as well which I didn't check carefully.

rowandavies commented 12 years ago

Okay, I'll pull all that. I only delayed because I'm a big fan of opaque signatures after the process of trying assemble a complete and correct standard basis. I guess I can see that with bidirectionality LIST didn't really add much.

robsimmons commented 12 years ago

You're quite welcome to make it opaque (or ask me to), my habit is not to ascribe short structures where I mean to support everything, but I realize that's considered rather bad style by many smart people :-).