diff options
| author | martinw | 2000-09-12 12:57:39 +0000 |
|---|---|---|
| committer | martinw | 2000-09-12 12:57:39 +0000 |
| commit | ce060decd1e583adeba49aed6cdd2d1ad71ef866 (patch) | |
| tree | d5aa5d05e6aba512a5c8fd2cc2842ef20ba1a6f6 | |
| parent | small bugfix (diff) | |
small bugfix
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@211 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/type.icl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index ea336fd..25ea4a8 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -230,6 +230,7 @@ tryToOptimizePositionFromString id_name ip prefix_to_readable_name "_c" = "case" prefix_to_readable_name "_g" = "guard" prefix_to_readable_name "_f" = "filter" + prefix_to_readable_name "\\" = "lambda" prefix_to_readable_name prefix | prefix.[0] == 'c' = "comprehension" |