Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/tests/bugs/outputs.pre-110.5/bug1549.1.out
ViewVC logotype

Annotation of /sml/trunk/tests/bugs/outputs.pre-110.5/bug1549.1.out

Parent Directory Parent Directory | Revision Log Revision Log


Revision 791 - (view) (download)

1 : dbm 791 val it = () : unit
2 :     signature NUMBER = sig type t end
3 :     signature VEC =
4 :     sig
5 :     structure Number : sig type t end
6 :     type t
7 :     val fromSeq : Number.t vector -> t
8 :     val toSeq : t -> Number.t vector
9 :     end
10 :     functor PointFromVector : <sig>
11 :     signature GEOMETRY_PRIMS =
12 :     sig structure Point : sig structure Vec : <sig> end end
13 :     bug1549.1.sml:32.3-37.6 Warning: match nonexhaustive
14 :     #[x,y] => ...
15 :    
16 :     functor GeometryPrims2d : <sig>
17 :     structure RealNumber : sig type t = real end
18 :     structure RealGeometryPrims2d : GEOMETRY_PRIMS
19 :     val foo = [|6.0,0.0|] : RealNumber.t array

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0