Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • sac2c sac2c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 401
    • Issues 401
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 13
    • Merge requests 13
  • Deployments
    • Deployments
    • Releases
  • Wiki
    • Wiki
  • External wiki
    • External wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • sac-group
  • sac2csac2c
  • Issues
  • #2095
Closed
Open
Created Nov 14, 2009 by Frank Penczek@fpzGuest

Explicit specialisation rejected on complex

Bugzilla Link 595
Created on Nov 14, 2009 17:23
Resolution FIXED
Resolved on Nov 17, 2009 21:21
Version 1.00beta
OS All
Architecture PC
Attachments specbug.tar.gz, tutu2.sac

Extended Description

Created an attachment (id=603)
Source code to reproduce behaviour (archive contains both modules)
sac2c rev. 16550
The following code leads to an "inferred types out of bounds" error:
---
module Star;
use Structures : all;
export all;
complex[*] star( complex[*] input)
{
  res = genarray( shape( input), toc( 0.0d));
  return( res);
}
---
---
module Spec;
use Structures : all;
import Star: all;
export  all;
specialize complex[.,.,.] star( complex[3,3,3] input);
---
sac2c Star.sac; sac2c Spec.sac leads to:
[...]
**  6: Running type inference system ...
  **** Enforcing Specializations ...
  **** Running type inference system ...
ABORT: line 6  file: Star.sac
ABORT: Component #0 of inferred return type (ComplexBasics::complex[*]) is
ABORT: not within #18: in [ --, Structures::complex[.,.,.]] le < 0> ge <>
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking