Revision ae08b9fc
Added by Pierre-Loïc Garoche about 5 years ago
| src/corelang.ml | ||
|---|---|---|
| 1408 | 1408 |
| _ -> assert false (* no array, array access, power or merge/when yet *) |
| 1409 | 1409 |
in |
| 1410 | 1410 |
mkexpr e.expr_loc desc |
| 1411 |
|
|
| 1411 |
|
|
| 1412 |
|
|
| 1413 |
|
|
| 1414 |
let mk_eq l e1 e2 = |
|
| 1415 |
mkpredef_call l "=" [e1; e2] |
|
| 1416 |
|
|
| 1412 | 1417 |
(* Local Variables: *) |
| 1413 | 1418 |
(* compile-command:"make -C .." *) |
| 1414 | 1419 |
(* End: *) |
Also available in: Unified diff
[seal] delt with Merge and when
[printer] more kind2 syntax