diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-18 12:02:37 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-18 12:02:37 -0400 |
| commit | 5d59ca8bbb1bfc557971c24a87e8ef9db9b69c33 (patch) | |
| tree | e8c112b78e852b8fc7cc34e83cf89fa2d58b1a6b /src/main/interactive_shell.cpp | |
| parent | e77ded9307cd64aaaa8fe79a28f9c715ece3794e (diff) | |
Better error for invalid concrete syntax of sorts with too many parens, like (Int). Thanks to Dan Liew for the report.
Diffstat (limited to 'src/main/interactive_shell.cpp')
0 files changed, 0 insertions, 0 deletions