Bug 161575 - [NEW PORT] lang/ats: A language with a type system rooted in the Applied Type System
Summary: [NEW PORT] lang/ats: A language with a type system rooted in the Applied Type...
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: Li-Wen Hsu
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-10-14 08:40 UTC by Jyun-Yan You
Modified: 2011-10-14 18:10 UTC (History)
0 users

See Also:

Attachments
ats-0.2.5.shar (25.39 KB, text/plain)
2011-10-14 08:40 UTC, Jyun-Yan You 		no flags Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jyun-Yan You 2011-10-14 08:40:04 UTC 
ATS is a statically typed programming language
that unifies implementation with formal specification.
It is equipped with a highly expressive type system rooted in
the framework Applied Type System, which gives the language its name.
In particular, both dependent types and linear types are available in ATS.

WWW: http://www.ats-lang.org/

Generated with FreeBSD Port Tools 0.99
Comment 1 Li-Wen Hsu freebsd_committer freebsd_triage 2011-10-14 16:30:18 UTC 
Responsible Changed
From-To: freebsd-ports-bugs->lwhsu

I'll take it.
Comment 2 dfilter service freebsd_committer freebsd_triage 2011-10-14 18:00:56 UTC 
lwhsu       2011-10-14 17:00:39 UTC

  FreeBSD ports repository

  Modified files:
    lang                 Makefile 
  Added files:
    lang/ats             Makefile bsd.ats.mk distinfo pkg-descr 
                         pkg-plist 
    lang/ats/files       patch-Makefile patch-Makefile__bootstrap 
  Log:
  Add ats 0.2.5, a language with a type system rooted in the Applied Type
  System.
  
  PR:             ports/161575
  Submitted by:   Jyun-Yan You <jyyou@cs.nctu.edu.tw>
  
  Revision  Changes    Path
  1.747     +1 -0      ports/lang/Makefile
  1.1       +81 -0     ports/lang/ats/Makefile (new)
  1.1       +64 -0     ports/lang/ats/bsd.ats.mk (new)
  1.1       +2 -0      ports/lang/ats/distinfo (new)
  1.1       +72 -0     ports/lang/ats/files/patch-Makefile (new)
  1.1       +11 -0     ports/lang/ats/files/patch-Makefile__bootstrap (new)
  1.1       +7 -0      ports/lang/ats/pkg-descr (new)
  1.1       +403 -0    ports/lang/ats/pkg-plist (new)
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Comment 3 Li-Wen Hsu freebsd_committer freebsd_triage 2011-10-14 18:04:52 UTC 
State Changed
From-To: open->closed

New port added. Thanks!