Front-end should detect type check error with typedef'ed types

Description

Following is the code taken from X10 port of LULESH.
Array[T] has typedefs such as Array[T](Long), Array[T](Region) and Array[T](Array[T]) but there is no typedef that takes Boolean. The method labeled "wrong" should fail compile with comprehensive error message, however neither x10c nor x10c++ generate error message nor compiled code. The compiler actually returns 1 which indicates there was a problem, however, without error message it is very difficult even for expert programmers to find the problem.

luleshtest.x10

Environment

native and managed

Status

Assignee

VijayV

Reporter

Mikio Takeuchi

Labels

None

Components

Fix versions

Affects versions

Priority

High
Configure