-
Notifications
You must be signed in to change notification settings - Fork 15
/
Copy pathmisc.smli
26 lines (24 loc) · 1002 Bytes
/
misc.smli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
(*
* Licensed to Julian Hyde under one or more contributor license
* agreements. See the NOTICE file distributed with this work
* for additional information regarding copyright ownership.
* Julian Hyde licenses this file to you under the Apache
* License, Version 2.0 (the "License"); you may not use this
* file except in compliance with the License. You may obtain a
* copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing,
* software distributed under the License is distributed on an
* "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
* either express or implied. See the License for the specific
* language governing permissions and limitations under the
* License.
*
* Miscellaneous stuff - often test cases for bugs
*)
(*) Bug gave 'AssertionError: op not handled: EQ'
from p in (from p in [{a=1,b=2}] where p.a = 1);
> val it = [{a=1,b=2}] : {a:int, b:int} list
(*) End misc.smli