diff options
Diffstat (limited to 'src/boot/fe/parser.ml')
| -rw-r--r-- | src/boot/fe/parser.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/fe/parser.ml b/src/boot/fe/parser.ml index 3dda93ac..5df44303 100644 --- a/src/boot/fe/parser.ml +++ b/src/boot/fe/parser.ml @@ -209,7 +209,7 @@ let build_tmp (* Simple helpers *) -(* FIXME: please rename these, they make eyes bleed. *) +(* FIXME (issue #71): please rename these, they make eyes bleed. *) let arr (ls:'a list) : 'a array = Array.of_list ls ;; let arl (ls:'a list) : 'a array = Array.of_list (List.rev ls) ;; |