Issues

• Fix build issue with newer versions of gcc

  bug
  tosca-lang/tosca#50 · Filter by author mmatsa opened on Jan 20, 2021 · 1.0 M2
  

• Parser support enhancements

  tosca-lang/tosca#46 · Filter by author hzongaro opened on Apr 13, 2018

• Let expression cannot occur within another expression

  tosca-lang/tosca#39 · Filter by author mmatsa opened on Feb 7, 2017

• Better ANTLR parse error wrong-token error message

  tosca-lang/tosca#38 · Filter by author mmatsa opened on Feb 2, 2017

• Improve function argument sort error messages

  tosca-lang/tosca#37 · Filter by author mmatsa opened on Feb 2, 2017

• Fresh variables not captured properly in CC

  tosca-lang/tosca#36 · Filter by author lionelvillard opened on Nov 30, 2016

• PG generates wrong grammar rules for optional element

  tosca-lang/tosca#35 · Filter by author lionelvillard opened on Sep 28, 2016

• Type inference sometimes fails to resolve aliased type variables

  tosca-lang/tosca#33 · Filter by author lionelvillard opened on Sep 27, 2016

• Tosca crashes when a meta variable does not follow the grammar

  tosca-lang/tosca#32 · Filter by author lionelvillard opened on Sep 27, 2016

• Problem with sort inference

  tosca-lang/tosca#31 · Filter by author lionelvillard opened on Sep 23, 2016

• No error is raised when a type alias is defined twice

  tosca-lang/tosca#30 · Filter by author lionelvillard opened on Sep 15, 2016

• Port the meta-parser generator and sort generator to Tosca

  tosca-lang/tosca#29 · Filter by author lionelvillard opened on Jun 6, 2016

• Deprecate qualified constructor in Core

  enhancement
  tosca-lang/tosca#27 · Filter by author lionelvillard opened on May 31, 2016

• Generate module stubs

  enhancement
  tosca-lang/tosca#26 · Filter by author lionelvillard opened on May 24, 2016 · 1.0 M2
  

• Allow syntactic variable to be associated with values.

  enhancement
  tosca-lang/tosca#24 · Filter by author lionelvillard opened on May 19, 2016
  

• Add Integer type

  enhancement
  tosca-lang/tosca#13 · Filter by author lionelvillard opened on Apr 29, 2016

• Location information does not propagate automatically

  enhancement
  tosca-lang/tosca#11 · Filter by author lionelvillard opened on Apr 29, 2016

• Deprecate eager keyword

  enhancement
  tosca-lang/tosca#10 · Filter by author lionelvillard opened on Apr 29, 2016

• Print meaningful error message when a meta variable is not defined

  enhancement
  tosca-lang/tosca#6 · Filter by author lionelvillard opened on Apr 29, 2016

• Deprecate extern keyword

  enhancement
  tosca-lang/tosca#5 · Filter by author lionelvillard opened on Apr 29, 2016

• Proper term reference counting

  enhancement
  tosca-lang/tosca#2 · Filter by author lionelvillard opened on Apr 28, 2016
  1