@@ -296,13 +296,7 @@ module rec MetaModel =
296
296
failwith " Should never be writing this structure, it comes from Microsoft LSP Spec"
297
297
298
298
override _.ReadJson
299
- (
300
- reader : JsonReader ,
301
- objectType : System.Type ,
302
- existingValue : Type ,
303
- hasExistingValue ,
304
- serializer : JsonSerializer
305
- ) =
299
+ ( reader : JsonReader , objectType : System.Type , existingValue : Type , hasExistingValue , serializer : JsonSerializer ) =
306
300
let jobj = JObject.Load( reader)
307
301
let kind = jobj.[ " kind" ]. Value< string>()
308
302
@@ -388,9 +382,12 @@ module GenerateTests =
388
382
| None -> s
389
383
390
384
391
- let rec createField ( currentType : MetaModel.Type ) ( currentProperty : MetaModel.Property ): string * WidgetBuilder < Type > =
385
+ let rec createField
386
+ ( currentType : MetaModel.Type )
387
+ ( currentProperty : MetaModel.Property )
388
+ : string * WidgetBuilder < Type > =
392
389
try
393
- let rec getType ( currentType : MetaModel.Type ): WidgetBuilder < Type > =
390
+ let rec getType ( currentType : MetaModel.Type ) : WidgetBuilder < Type > =
394
391
match currentType with
395
392
| MetaModel.Type.ReferenceType r ->
396
393
let name = r.Name
@@ -430,8 +427,7 @@ module GenerateTests =
430
427
else
431
428
createErasedUnion ts
432
429
433
- | MetaModel.Type.ArrayType a ->
434
- Array( getType a.Element, 1 )
430
+ | MetaModel.Type.ArrayType a -> Array( getType a.Element, 1 )
435
431
| MetaModel.Type.StructureLiteralType l ->
436
432
if
437
433
l.Value.Properties
@@ -441,10 +437,9 @@ module GenerateTests =
441
437
else
442
438
let ts =
443
439
l.Value.Properties
444
- |> Array.map ( fun p ->
445
- createField p.Type p
446
- )
440
+ |> Array.map ( fun p -> createField p.Type p)
447
441
|> Array.toList
442
+
448
443
AnonRecord( ts)
449
444
450
445
| MetaModel.Type.MapType m ->
@@ -453,15 +448,16 @@ module GenerateTests =
453
448
| MetaModel.MapKeyType.Base b ->
454
449
b.Name.ToDotNetType()
455
450
|> LongIdent
456
- | MetaModel.MapKeyType.ReferenceType r ->
457
- LongIdent( r.Name)
451
+ | MetaModel.MapKeyType.ReferenceType r -> LongIdent( r.Name)
458
452
459
453
let value = getType m.Value
460
454
461
- createDictionary [ key; value ]
455
+ createDictionary [
456
+ key
457
+ value
458
+ ]
462
459
463
- | MetaModel.Type.StringLiteralType t ->
464
- LongIdent( " string" )
460
+ | MetaModel.Type.StringLiteralType t -> LongIdent( " string" )
465
461
| MetaModel.Type.TupleType t ->
466
462
467
463
let ts =
@@ -476,9 +472,10 @@ module GenerateTests =
476
472
let t = getType currentType
477
473
let t = if currentProperty.IsOptional then createOption t else t
478
474
let name = currentProperty.NameAsPascalCase
479
- name, t
475
+ name, t
480
476
with e ->
481
- raise <| Exception( sprintf " createField on %A " currentProperty, e)
477
+ raise
478
+ <| Exception( sprintf " createField on %A " currentProperty, e)
482
479
483
480
484
481
let isUnitStructure ( structure : MetaModel.Structure ) =
@@ -574,7 +571,7 @@ module GenerateTests =
574
571
575
572
try
576
573
Record( structure.Name) {
577
- yield !
574
+ yield !
578
575
expandFields structure
579
576
|> List.map ( fun ( name , t ) -> Field( name, t))
580
577
}
@@ -596,8 +593,7 @@ module GenerateTests =
596
593
|> Array.map getType
597
594
598
595
createErasedUnion ts
599
- | MetaModel.Type.ArrayType a ->
600
- Array( getType a.Element, 1 )
596
+ | MetaModel.Type.ArrayType a -> Array( getType a.Element, 1 )
601
597
| MetaModel.Type.StructureLiteralType l ->
602
598
if
603
599
l.Value.Properties
@@ -607,9 +603,7 @@ module GenerateTests =
607
603
else
608
604
let ts =
609
605
l.Value.Properties
610
- |> Array.map ( fun p ->
611
- createField p.Type p
612
- )
606
+ |> Array.map ( fun p -> createField p.Type p)
613
607
|> Array.toList
614
608
615
609
AnonRecord ts
@@ -625,7 +619,11 @@ module GenerateTests =
625
619
|> LongIdent
626
620
627
621
let value = getType m.Value
628
- createDictionary [ key; value ]
622
+
623
+ createDictionary [
624
+ key
625
+ value
626
+ ]
629
627
630
628
| MetaModel.Type.StringLiteralType t -> String()
631
629
| MetaModel.Type.TupleType t ->
@@ -671,6 +669,7 @@ module GenerateTests =
671
669
672
670
let parsedMetaModel =
673
671
JsonConvert.DeserializeObject< MetaModel.MetaModel>( metaModel, MetaModel.metaModelSerializerSettings)
672
+
674
673
let source =
675
674
Ast.Oak() {
676
675
Namespace( " Ionide.LanguageServerProtocol.Types" ) {
@@ -679,18 +678,23 @@ module GenerateTests =
679
678
Abbrev( " DocumentUri" , " string" )
680
679
Abbrev( " RegExp" , " string" )
681
680
682
- Class( " ErasedUnionAttribute" ) {
683
- Inherit( " System.Attribute()" )
684
- }
681
+ Class( " ErasedUnionAttribute" ) { Inherit( " System.Attribute()" ) }
685
682
686
683
// Assuming the max is 5, can be increased if needed
687
684
for i in [ 2 .. 5 ] do
685
+
688
686
Union( $" U%d {i}" ) {
689
- for j = 1 to i do
690
- UnionCase( $" C{j}" , Field $" 'T{j}" )
687
+ for j = 1 to i do
688
+ UnionCase( $" C{j}" , Field $" 'T{j}" )
691
689
}
692
- |> _. attribute( Attribute " ErasedUnion" )
693
- |> _. typeParams([ for j = 1 to i do $" 'T{j}" ])
690
+ |> fun x -> x.attribute ( Attribute " ErasedUnion" )
691
+ |> fun x ->
692
+ x.typeParams (
693
+ [
694
+ for j = 1 to i do
695
+ $" 'T{j}"
696
+ ]
697
+ )
694
698
695
699
for s in parsedMetaModel.Structures do
696
700
if isUnitStructure s then
@@ -705,12 +709,11 @@ module GenerateTests =
705
709
createEnumeration e
706
710
707
711
}
708
- |> _ . toRecursive()
709
- }
712
+ |> fun x -> x .toRecursive ()
713
+ }
710
714
711
-
712
715
713
- let writeToFile path contents =
716
+ let writeToFile path contents =
714
717
printfn " %A " contents
715
718
File.WriteAllText( path, contents)
716
719
0 commit comments