-
Notifications
You must be signed in to change notification settings - Fork 1
Range types are unimplemented #21
Copy link
Copy link
Open
Labels
deferredNot a current priorityNot a current priorityenhancementNew feature or requestNew feature or requestewasmCode generation for the eWASM system for EthereumCode generation for the eWASM system for Ethereummove irCode generation for LibraCode generation for Libra
Metadata
Metadata
Assignees
Labels
deferredNot a current priorityNot a current priorityenhancementNew feature or requestNew feature or requestewasmCode generation for the eWASM system for EthereumCode generation for the eWASM system for Ethereummove irCode generation for LibraCode generation for Libra
The following is taken from the flint guide:
Range types
unimplementedFlint includes two range types, which are shortcuts for expressing ranges of values. These can only be used with
for-inloops.The half-open range (
a..<b) defines a range that runs fromatob, but does not includeb.The open range operator (
a...b) defines a range that runs fromatoband does includeb.At the moment, both
aandbmust be integer literals, not variables!