mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-15 22:03:26 +00:00
Code Issues Projects Releases Wiki Activity

Delete obsolete comment.

Browse Source
This commit is contained in:
Zoltan Somogyi
2018-10-22 23:17:25 +11:00
parent f0fb668ed8
commit 853798b735
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
compiler/prog_type.m
View File

@@ -350,9 +350,6 @@
list(constructor)::in, maybe_canonical::in,
sym_name::out, mer_type::out, maybe(string)::out) is semidet.
% XXX TYPE_REPN The du_type_is_* tests should be done just once when computing
% du_type_kind. If we can achieve that, these predicates should not be here.
% Is the discriminated union type with the given list of constructors
% a notag type?
%