diff options
| author | Brian Campbell | 2018-04-09 15:24:32 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-09 16:05:59 +0100 |
| commit | 86402c298c24e47ae49de7fb9748f0a67aaa98d2 (patch) | |
| tree | 494942a66510f6cfbfec18443c7f5dc1ca3dbcee /src/sail.ml | |
| parent | 0d77821e3617c6d7591ba1d68ab0fe90f8cb3c9c (diff) | |
Stop vector_typ_args_of from failing when order is a variable
Now it just returns the actual arguments and a separate function
calculates the start index when required.
Diffstat (limited to 'src/sail.ml')
0 files changed, 0 insertions, 0 deletions