caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] version 7 beta typing change?
@ 2003-08-09  2:03 skaller
  2003-08-09 12:10 ` Jacques Garrigue
  0 siblings, 1 reply; 25+ messages in thread
From: skaller @ 2003-08-09  2:03 UTC (permalink / raw)
  To: caml-list

Code that compiled on 3.06 doesn't work on 3.07 beta1.
Is this a bug in the old typing, in the new typing, or what?

File "lpsrc/flx_types.ipk", line 532, characters 20-42:
Constraints are not satisfied in this type.
Type 'a b0typecode_t' as 'a should be an instance of 'b b0typecode_t'

type bid_t = int

(** value typing *)
type 't b0typecode_t' = 
  [
  | `BTYP_name of bid_t         
  | `BTYP_inst of bid_t * 't list 
  | `BTYP_tuple of 't list         
  | `BTYP_sum of 't list            
  | `BTYP_function of 't * 't
  | `BTYP_pointer  of 't 
  | `BTYP_void                       
  | `BTYP_binding of 't * 't 
  | `BTYP_fix of int      
  | `BTYP_var of int     
  ]

(** meta typing *)
type 't b1typecode_t' =
  [
  | `BTYP_apply of 't * 't 
  | `BTYP_typefun of (int * 't) list * 't * 't
  | `BTYP_type
  | `BTYP_type_tuple of 't list
  ]

(** general typing *)
type 't btypecode_t' =
  [
  | 't b0typecode_t' 
  | 't b1typecode_t'
  ]

type b0typecode_t = 't b0typecode_t' as 't (* THIS IS LINE 532 *)
type btypecode_t = 't btypecode_t' as 't


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 25+ messages in thread
* Re: [Caml-list] Re: Tcl/Tk and RH 9
@ 2003-08-12  7:11 Jason Gibson
  0 siblings, 0 replies; 25+ messages in thread
From: Jason Gibson @ 2003-08-12  7:11 UTC (permalink / raw)
  To: sven.luther; +Cc: caml-list

 >What about looking at Cairo (Ex Xr/Xc) and either bind to that, or
 >reimplement their protocol in ocaml. Cairo is early enough in its design
 >that it can still be influenced enough if someone looks at it, and
 >points them problems related to doing ocaml bindings.
 >
...
 >Basically it is a vector rendering framework, linked to SVG graphics,
 >and which should enable to have a vector rendering model (on top of the
 >X RENDER extension i think), but which can target various graphic
 >systems, including X, local image buffers and Postscript and PDF as
 >planned output support. I don't know about windows support, but MacOSX
 >support should not be all that difficult to add, and since they also
 >have an OpenGL rendering path, it should run on every OpenGL supported
 >plateform.
...
 >Friendly,
 >Sven Luther


I'm glad to see that I wasn't the only one who thought that xr\cairo\svg 
would make a
good base for windowing toolkits.  I was thinking that having the low level 
functionality
vector based would allow you to do lots of interesting things.  For 
example, you could
do what xml has done, ie allow people to separate out the different classes 
of data easily.
Like how html has presentation\data all bunched together, our vector gui 
could have the
layout\data\communications\etc all separated out, allowing for better 
functionality on
each level. One of the layers of xml-style data could be a communication 
path, allowing your
program to be less dependant on the gui model (like an event loop).  It 
would also let you
expose your gui program to other programs, available for use in a scripted 
environment.

One could build a gui application like one draws a picture.  Each shape 
could be made
separate, so doing things like floating toolbars would be trivial.  You 
just move that particular
shape, and all its children to a new location.  You could group 
programs  together easier by
joining shapes and doing transformations on them.  Maybe you could build 
gui components
as little programs that you connect together, like how you use pipes to 
link a chain of programs.

JG

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 25+ messages in thread
end of thread, other threads:[~2003-08-12  7:09 UTC | newest]

Thread overview: 25+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-08-09  2:03 [Caml-list] version 7 beta typing change? skaller
2003-08-09 12:10 ` Jacques Garrigue
2003-08-09 16:15   ` skaller
2003-08-09 16:33   ` [Caml-list] Tcl/Tk and RH 9 skaller
2003-08-09 16:59     ` Matt Gushee
2003-08-10 15:57       ` Eray Ozkural
2003-08-10 20:18         ` skaller
2003-08-10  1:43     ` [Caml-list] " Jacques Garrigue
2003-08-10  1:53       ` Alexander V. Voinov
2003-08-10 21:26         ` skaller
2003-08-10 23:15           ` Eray Ozkural
2003-08-10 23:24             ` Eray Ozkural
2003-08-11  0:41             ` Matt Gushee
2003-08-11  1:20               ` Eray Ozkural
2003-08-11  2:02                 ` skaller
2003-08-11  8:38                   ` Sven Luther
2003-08-11  9:41                 ` Christoph Bauer
2003-08-10 20:15       ` skaller
2003-08-11  9:17         ` Christoph Bauer
2003-08-12  4:14           ` skaller
2003-08-10 22:11     ` [Caml-list] " Olivier Andrieu
2003-08-10 22:45       ` Matt Gushee
2003-08-10 23:16         ` Eray Ozkural
2003-08-11  1:33         ` skaller
2003-08-12  7:11 [Caml-list] " Jason Gibson

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).