8b563c8055
Pict is a language in the ML tradition, formed by adding a layer of convenient syntactic sugar and a static type system to a tiny core. The current release includes a Pict-to-C compiler, reference manual, language tutorial, numerous libraries, and example programs. The core language - an asynchronous variant of Milner, Parrow, and Walker's pi-calculus - has been used as a theoretical foundation for a broad class of concurrent computations. The goal in Pict is to identify high-level idioms that arise naturally when these primitives are used to build working programs - idioms such as basic data structures, protocols for returning results, higher-order programming, selective communication, and concurrent objects. The type system integrates a number of features found in recent work on theoretical foundations for typed object-oriented languages: higher-order polymorphism, simple recursive types, subtyping, and a powerful partial type inference algorithm.
24 lines
817 B
Text
24 lines
817 B
Text
$NetBSD: patch-yi,v 1.1.1.1 2009/10/28 06:13:40 dholland Exp $
|
|
|
|
Fix integer types for modern ocaml.
|
|
|
|
--- Pict/parser.src.orig 2009-10-27 20:26:05.000000000 -0400
|
|
+++ Pict/parser.src 2009-10-27 20:27:06.000000000 -0400
|
|
@@ -89,7 +89,7 @@ let ccall fi alloc purity code l =
|
|
%token <Error.info> GT
|
|
%token <Error.info> HASH
|
|
%token <Error.info> INT
|
|
-%token <int Error.withinfo> INTV
|
|
+%token <int32 Error.withinfo> INTV
|
|
%token <string Error.withinfo> ID
|
|
%token <Error.info> IF
|
|
%token <Error.info> IMPORT
|
|
@@ -211,7 +211,7 @@ DefList :
|
|
;
|
|
StringSeq :
|
|
ID StringSeq { $1.v :: $2 }
|
|
-| INTV StringSeq { string_of_int $1.v :: $2 }
|
|
+| INTV StringSeq { Int32.to_string $1.v :: $2 }
|
|
| STRINGV StringSeq { $1.v :: $2 }
|
|
| { [] }
|
|
;
|