mirror of
https://github.com/roc-lang/roc.git
synced 2024-10-05 06:37:26 +03:00
Merge pull request #6715 from roc-lang/update-glue-syntax
Update glue platform files to new syntax
This commit is contained in:
commit
128f396ebc
@ -1,5 +1,3 @@
|
||||
interface File
|
||||
exposes [File]
|
||||
imports []
|
||||
module [File]
|
||||
|
||||
File : { name : Str, content : Str }
|
||||
|
@ -1,6 +1,6 @@
|
||||
interface Shape
|
||||
exposes [Shape, RocNum, RocTagUnion, RocStructFields, RocFn, RocSingleTagPayload]
|
||||
imports [TypeId.{ TypeId }]
|
||||
module [Shape, RocNum, RocTagUnion, RocStructFields, RocFn, RocSingleTagPayload]
|
||||
|
||||
import TypeId exposing [TypeId]
|
||||
|
||||
Shape : [
|
||||
RocStr,
|
||||
|
@ -1,6 +1,4 @@
|
||||
interface Target
|
||||
exposes [Target, Architecture, OperatingSystem]
|
||||
imports []
|
||||
module [Target, Architecture, OperatingSystem]
|
||||
|
||||
Target : {
|
||||
architecture : Architecture,
|
||||
|
@ -1,6 +1,4 @@
|
||||
interface TypeId
|
||||
exposes [TypeId, typeIDfromU64, typeIDtoU64]
|
||||
imports []
|
||||
module [TypeId, typeIDfromU64, typeIDtoU64]
|
||||
|
||||
TypeId := U64 implements [Eq, Hash, Inspect, Encoding]
|
||||
|
||||
|
@ -1,6 +1,8 @@
|
||||
interface Types
|
||||
exposes [Types, shape, size, alignment, target, walkShapes, entryPoints]
|
||||
imports [Shape.{ Shape }, TypeId.{ TypeId, typeIDfromU64, typeIDtoU64 }, Target.{ Target }]
|
||||
module [Types, shape, size, alignment, target, walkShapes, entryPoints]
|
||||
|
||||
import Shape exposing [Shape]
|
||||
import TypeId exposing [TypeId, typeIDfromU64, typeIDtoU64]
|
||||
import Target exposing [Target]
|
||||
|
||||
# TODO: switch AssocList uses to Dict once roc_std is updated.
|
||||
Tuple1 : [T Str TypeId]
|
||||
@ -23,7 +25,8 @@ Types := {
|
||||
## Names and types of the entry points of the program (e.g. mainForHost)
|
||||
entrypoints : List Tuple1,
|
||||
target : Target,
|
||||
} implements [Inspect, Encoding]
|
||||
}
|
||||
implements [Inspect, Encoding]
|
||||
|
||||
target : Types -> Target
|
||||
target = \@Types types -> types.target
|
||||
|
Loading…
Reference in New Issue
Block a user