source: tests/resolutionErrors.cfa @ d344a63

Last change on this file since d344a63 was 71d6bd8, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

First attempt at better errors on 'No reasonable alternatives' split not found and found but didn't match

  • Property mode set to 100644
File size: 871 bytes
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// resolutionErrors.cfa --
8//
9// Author           : Thierry Delisle
10// Created On       : Thu Nov 28 15:17:52 2019
11// Last Modified By :
12// Last Modified On :
13// Update Count     :
14//
15
16struct atype {};
17
18void noparams() {}
19void wrongparams( atype& ) {}
20void moreparams( int, int ) {}
21void fewparams( int ) {}
22void noreturn() {}
23
24void simple_calls() {
25        notexist();
26        notexistparams( 3 );
27        noparams( 3 );
28        wrongparams( 3 );
29        moreparams( 3 );
30        fewparams( 3, 3 );
31        int a = noreturn();
32
33        int notfunction;
34        notfunction(3);
35
36        atype t;
37        t.a;
38}
39
40void ctor_calls() {
41        atype a = 3;
42}
43
44// Local Variables: //
45// tab-width: 4 //
46// compile-command: "cfa resolutionErrors.cfa" //
47// End: //
Note: See TracBrowser for help on using the repository browser.