search

Whiley / WhileyDocs

Various documents relating to the Whiley Programming Language.
7 stars 2 forks source link

Remove String and Char Types #16

Closed DavePearce closed 9 years ago

DavePearce commented 9 years ago

These have been removed from the language now, and the documentation needs to be updated accordingly.

DavePearce commented 9 years ago

Removed from WLS, though one example remains.

DavePearce commented 9 years ago

GSW: removed lots of occurences, but some examples still references them:

typing_1.whiley walkthrough_3.whiley walkthrough_8

And the accompanying text in typing.tex